Bug#1142983: g++-15: a thread locks in a c++ semaphore is not wake up even if semaphore internal counter is 1
Grégory Mounié <[email protected]> Wed, 29 Jul 2026 14:06:58 +0200
| Newsgroups | gmane.linux.debian.devel.gcc |
|---|---|
| Message-ID | <178532681871.143908.13825333067150383527.reportbug__39517.2257370845$1785326971$gmane$org@kiowa.imag.fr> |
UGFja2FnZTogZysrLTE1ClZlcnNpb246IDE1LjMuMC0yClNldmVyaXR5OiBub3JtYWwKVGFnczog dXBzdHJlYW0KCkRlYXIgTWFpbnRhaW5lciwKCkkgaW1wbGVtZW50cyBhIHNvbHV0aW9uIG9mIHRo ZSBjbGFzc2ljYWwgImRpbmluZyBwaGlsb3NvcGhlcnMiIHN5bmNocm9uaXNhdGlvbgpwcm9ibGVt IHVzaW5nIEMrKy0yMCBzZW1hcGhvcmVzOgpTb2x1dGlvbiBpbXBsZW1lbnRlZDogMSBzZW1hcGhv cmUgcGVyIGZvcmssIDEgY291bnRpbmcgc2VtYXBob3JlIHRvIGF2b2lkIHRoYXQKTlVNX1RIUkVB RFMgZm9ya3MgYXJlIHRha2VuIG9uZSBwZXIgdGhyZWFkLCB0aHVzIGF2b2lkaW5nIGRlYWxvY2su CgpJIGNvbXBpbGUgd2l0aDogZysrLTE1IC1zdGQ9Z251KysyMyAtZyBwaGlsb19idWcuY2MgLW8g cGhpbG9fYnVnCm9uIGEgaW50ZWwgY29yZSBpNyAoOCBjb3JlcykKdmVuZG9yX2lkICAgICAgIDog R2VudWluZUludGVsCmNwdSBmYW1pbHkgICAgICA6IDYKbW9kZWwgICAgICAgICAgIDogMTQxCm1v ZGVsIG5hbWUgICAgICA6IDExdGggR2VuIEludGVsKFIpIENvcmUoVE0pIGk3LTExODUwSCBAIDIu NTBHSHoKClRoZSBiaW5hcnkgZGVhZGxvY2tzIG9mdGVuICgxLzQgdGltZSBpbiBnZGIpIHdoZW4g Y29tcGlsZWQgd2l0aCBnKystMTUgKERlYmlhbgoxNS4zLjAtMikgb3IgZysrLTE0ICgxNC40LjAt MSkuCkl0IGRvZXMgTk9UIGRlYWRsb2NrIHdoZW4gY29tcGlsZWQgd2l0aCBnKystMTYgb3IgY2xh bmcrKy0yMSwyMiwyMwoKI2luY2x1ZGUgPHRocmVhZD4KI2luY2x1ZGUgPHNlbWFwaG9yZT4KCnVz aW5nIG5hbWVzcGFjZSBzdGQ7Cgpjb25zdGV4cHIgaW50IE5VTV9USFJFQURTID0gNTsKY29uc3Rl eHByIGludCBST1VORCA9IDIwMDAwOwoKY291bnRpbmdfc2VtYXBob3JlPE5VTV9USFJFQURTPiBu YnRha2Vue05VTV9USFJFQURTIC0gMX07CmFycmF5PGJpbmFyeV9zZW1hcGhvcmUsIE5VTV9USFJF QURTPiBmb3JrcyA9IHtiaW5hcnlfc2VtYXBob3JlezF9LApiaW5hcnlfc2VtYXBob3JlezF9LAog ICAgYmluYXJ5X3NlbWFwaG9yZXsxfSwgYmluYXJ5X3NlbWFwaG9yZXsxfSwgYmluYXJ5X3NlbWFw aG9yZXsxfX07Cgp2b2lkIHRha2VGb3JrcyhpbnQgbWUpIHsKCiAgbmJ0YWtlbi5hY3F1aXJlKCk7 CiAgZm9ya3MuYXQobWUpLmFjcXVpcmUoKTsKICBmb3Jrcy5hdCgobWUgKyAxKSAlIE5VTV9USFJF QURTKS5hY3F1aXJlKCk7CiAgbmJ0YWtlbi5yZWxlYXNlKCk7Cn0KCnZvaWQgcmVsZWFzZUZvcmtz KGludCBtZSkgewogICAgZm9ya3MuYXQobWUpLnJlbGVhc2UoKTsKICAgIGZvcmtzLmF0KChtZSsx KSVOVU1fVEhSRUFEUykucmVsZWFzZSgpOwp9Cgp2b2lkIHBoaWxvKGludCBtZSkgewogIGZvciAo aW50IGkgPSAwOyBpIDwgUk9VTkQ7IGkrKykgewogICAgdGFrZUZvcmtzKG1lKTsKICAgIHJlbGVh c2VGb3JrcyhtZSk7CiAgfQp9CgppbnQgbWFpbigpIHsKICB2ZWN0b3I8dW5pcXVlX3B0cjx0aHJl YWQ+PiB0aHM7CiAgZm9yIChpbnQgaSA9IDA7IGkgPCBOVU1fVEhSRUFEUzsgaSsrKQogICAgICB0 aHMucHVzaF9iYWNrKHVuaXF1ZV9wdHI8dGhyZWFkPihuZXcgdGhyZWFke3BoaWxvLCBpfSkpOwoK ICBmb3IgKGF1dG8gJnQgOiB0aHMpIHsKICAgIHQtPmpvaW4oKTsKICB9CiAgcmV0dXJuIDA7Cn0K CkNoZWNraW5nIHdpdGggZ2RiIGF0IGEgZGVhZGxvY2sgdGltZSwgb25lIG9mIHRoZSBmb3JrcyBp cyBhdCAxIGJ1dCB0aGUKY29ycmVzcG9uZGluZyB0aHJlYWQgaXMgc3RpbGwgYmxvY2tlZCBpbiB0 aGUgYWNxdWlyZS4KCkZvbGxvd2luZyBhIGdkYiBzZXNzaW9uIGV4YW1wbGU6IHRocmVhZChtZSA9 PSAxKSBpcyBibG9ja2VkIGFjcXVpcmluZyBmb3Jrc1syXQpidXQgdGhlIGNvdW50ZXIgb2Ygc2Vt YXBob3JlIGZvcmtzWzJdIGlzIGF0IDEKUmVhZGluZyBzeW1ib2xzIGZyb20gLi9waGlsb19idWcu Li4KKGdkYikgcnVuClN0YXJ0aW5nIHByb2dyYW06IC9ob21lL2dyZWdvcnkvZW5zaW1hZy1hcHAu Z2l0bGFiZW5zaW1hZy90cC9zdWpldHMvcGhpbG9fYnVnCltUaHJlYWQgZGVidWdnaW5nIHVzaW5n IGxpYnRocmVhZF9kYiBlbmFibGVkXQpVc2luZyBob3N0IGxpYnRocmVhZF9kYiBsaWJyYXJ5ICIv dXNyL2xpYi94ODZfNjQtbGludXgtZ251L2xpYnRocmVhZF9kYi5zby4xIi4KW05ldyBUaHJlYWQg MHg3ZmZmZjc5MTM2YzAgKExXUCAxNTk2NzcpXQpbTmV3IFRocmVhZCAweDdmZmZmNzExMjZjMCAo TFdQIDE1OTY3OCldCltOZXcgVGhyZWFkIDB4N2ZmZmY2OTExNmMwIChMV1AgMTU5Njc5KV0KW05l dyBUaHJlYWQgMHg3ZmZmZjYxMTA2YzAgKExXUCAxNTk2ODApXQpbTmV3IFRocmVhZCAweDdmZmZm NTkwZjZjMCAoTFdQIDE1OTY4MSldCl5DClRocmVhZCAxICJwaGlsb19idWciIHJlY2VpdmVkIHNp Z25hbCBTSUdJTlQsIEludGVycnVwdC4KX19zeXNjYWxsX2NhbmNlbF9hcmNoICgpIGF0Ci4uL3N5 c2RlcHMvdW5peC9zeXN2L2xpbnV4L3g4Nl82NC9zeXNjYWxsX2NhbmNlbC5TOjU2CuKaoO+4jyB3 YXJuaW5nOiA1NiAgLi4vc3lzZGVwcy91bml4L3N5c3YvbGludXgveDg2XzY0L3N5c2NhbGxfY2Fu Y2VsLlM6IEF1Y3VuCmZpY2hpZXIgb3UgZG9zc2llciBkZSBjZSBub20KKGdkYikgcCBmb3Jrcwok MSA9IHtfTV9lbGVtcyA9IHt7X01fc2VtID0ge3N0YXRpYyBfU19tYXggPSAyMTQ3NDgzNjQ3LCBf TV9jb3VudGVyID0gMH19LAp7X01fc2VtID0ge3N0YXRpYyBfU19tYXggPSAyMTQ3NDgzNjQ3LAog ICAgICAgIF9NX2NvdW50ZXIgPSAwfX0sIHtfTV9zZW0gPSB7c3RhdGljIF9TX21heCA9IDIxNDc0 ODM2NDcsIF9NX2NvdW50ZXIgPQoxfX0sIHtfTV9zZW0gPSB7c3RhdGljIF9TX21heCA9IDIxNDc0 ODM2NDcsCiAgICAgICAgX01fY291bnRlciA9IDB9fSwge19NX3NlbSA9IHtzdGF0aWMgX1NfbWF4 ID0gMjE0NzQ4MzY0NywgX01fY291bnRlciA9CjB9fX19CihnZGIpIHRocmVhZCA0CltTd2l0Y2hp bmcgdG8gdGhyZWFkIDQgKFRocmVhZCAweDdmZmZmNjkxMTZjMCAoTFdQIDE1OTY3OSkpXQojMCAg c3lzY2FsbCAoKSBhdCAuLi9zeXNkZXBzL3VuaXgvc3lzdi9saW51eC94ODZfNjQvc3lzY2FsbC5T OjM4CuKaoO+4jyB3YXJuaW5nOiAzOCAgLi4vc3lzZGVwcy91bml4L3N5c3YvbGludXgveDg2XzY0 L3N5c2NhbGwuUzogQXVjdW4gZmljaGllciBvdQpkb3NzaWVyIGRlIGNlIG5vbQooZ2RiKSB1cCA1 CiM1ICAweDAwMDA1NTU1NTU1NTUyNTMgaW4gdGFrZUZvcmtzIChtZT0yKSBhdCBwaGlsb19idWcu Y2M6MTcKMTcgICAgICAgIG5idGFrZW4uYWNxdWlyZSgpOwooZ2RiKSB0aHJlYWQgMwpbU3dpdGNo aW5nIHRvIHRocmVhZCAzIChUaHJlYWQgMHg3ZmZmZjcxMTI2YzAgKExXUCAxNTk2NzgpKV0KIzAg IHN5c2NhbGwgKCkgYXQgLi4vc3lzZGVwcy91bml4L3N5c3YvbGludXgveDg2XzY0L3N5c2NhbGwu UzozOArimqDvuI8gd2FybmluZzogMzggIC4uL3N5c2RlcHMvdW5peC9zeXN2L2xpbnV4L3g4Nl82 NC9zeXNjYWxsLlM6IEF1Y3VuIGZpY2hpZXIgb3UKZG9zc2llciBkZSBjZSBub20KKGdkYikgdXAg NQojNSAgMHgwMDAwNTU1NTU1NTU1MmI5IGluIHRha2VGb3JrcyAobWU9MSkgYXQgcGhpbG9fYnVn LmNjOjE5CjE5ICAgICAgICBmb3Jrcy5hdCgobWUgKyAxKSAlIE5VTV9USFJFQURTKS5hY3F1aXJl KCk7CihnZGIpIHAgbWUKJDIgPSAxCihnZGIpIHAgZm9ya3NbMl0KJDMgPSB7X01fc2VtID0ge3N0 YXRpYyBfU19tYXggPSAyMTQ3NDgzNjQ3LCBfTV9jb3VudGVyID0gMX19CihnZGIpCgoKCi0tIFN5 c3RlbSBJbmZvcm1hdGlvbjoKRGViaWFuIFJlbGVhc2U6IGZvcmt5L3NpZAogIEFQVCBwcmVmZXJz IHVuc3RhYmxlCiAgQVBUIHBvbGljeTogKDk5MCwgJ3Vuc3RhYmxlJyksICg1MDAsICd0ZXN0aW5n JyksICg1MDAsICdzdGFibGUnKSwgKDEsICdleHBlcmltZW50YWwnKQpBcmNoaXRlY3R1cmU6IGFt ZDY0ICh4ODZfNjQpCkZvcmVpZ24gQXJjaGl0ZWN0dXJlczogaTM4NgoKS2VybmVsOiBMaW51eCA3 LjEuNStkZWIxNC1hbWQ2NCAoU01QIHcvMTYgQ1BVIHRocmVhZHM7IFBSRUVNUFQpCkxvY2FsZTog TEFORz1mcl9GUi5VVEYtOCwgTENfQ1RZUEU9ZnJfRlIuVVRGLTggKGNoYXJtYXA9VVRGLTgpLCBM QU5HVUFHRT1mcjplbl9VUwpTaGVsbDogL2Jpbi9zaCBsaW5rZWQgdG8gL3Vzci9iaW4vZGFzaApJ bml0OiBzeXN0ZW1kICh2aWEgL3J1bi9zeXN0ZW1kL3N5c3RlbSkKTFNNOiBBcHBBcm1vcjogZW5h YmxlZAoKVmVyc2lvbnMgb2YgcGFja2FnZXMgZysrLTE1IGRlcGVuZHMgb246CmlpICBnKystMTUt eDg2LTY0LWxpbnV4LWdudSAgMTUuMy4wLTIKaWkgIGdjYy0xNSAgICAgICAgICAgICAgICAgICAx NS4zLjAtMgppaSAgZ2NjLTE1LWJhc2UgICAgICAgICAgICAgIDE1LjMuMC0yCgpnKystMTUgcmVj b21tZW5kcyBubyBwYWNrYWdlcy4KClZlcnNpb25zIG9mIHBhY2thZ2VzIGcrKy0xNSBzdWdnZXN0 czoKcG4gIGcrKy0xNS1tdWx0aWxpYiAgPG5vbmU+CmlpICBnY2MtMTUtZG9jICAgICAgIDE1LjIu MC0xCgotLSBubyBkZWJjb25mIGluZm9ybWF0aW9uCg==