optimization/6752: Code which causes errors when optimized.

optimization/6752: Code which causes errors when optimized.

[hendricks]

>Number:         6752
>Category:       optimization
>Synopsis:       Code which causes errors when optimized.
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon May 20 16:16:01 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Bradley Hendricks
>Release:        3.1
>Organization:
>Environment:
Red Hat Linux 7.0, Athlon 1.1 GHz
>Description:
When compiled without optimization or -O, this code works
 correctly; no errors are reported.  With -O2 and -O3,
the program reports an error.
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="gdbtest.c"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="gdbtest.c"

Ly9Db3B5cmlnaHQgMjAwMSBGb3J0dW5ldCwgSW5jLiAgQWxsIFJpZ2h0cyBSZXNlcnZlZC4KCiNp
bmNsdWRlIDxhc20vdHlwZXMuaD4KCnR5cGVkZWYgX19zOAkJQ0hBUjsKdHlwZWRlZiBfX3U4CQlC
WVRFOwp0eXBlZGVmIF9fczE2CQlJTlQ7CnR5cGVkZWYgX191MTYJCVdPUkQ7CnR5cGVkZWYgX19z
MzIJCUxPTkc7CnR5cGVkZWYgX191MzIJCURXT1JEOwoKdHlwZWRlZiBfX3M2NAkJRExPTkc7CnR5
cGVkZWYgX191NjQJCVFXT1JEOwoKdHlwZWRlZiBpbnQJCUJPT0w7CnR5cGVkZWYgdm9pZAkJVk9J
RDsKdHlwZWRlZiB1bnNpZ25lZCBpbnQJVUlOVDsKCnR5cGVkZWYgQ0hBUiAqCQlMUENIQVI7CnR5
cGVkZWYgQ0hBUiAqICoJTFBMUENIQVI7CnR5cGVkZWYgQ0hBUiBjb25zdCAqCUxQQ0NIQVI7CnR5
cGVkZWYgQ0hBUiBjb25zdCAqICoJTFBMUENDSEFSOwp0eXBlZGVmIEJZVEUgKgkJTFBCWVRFOwp0
eXBlZGVmIEJZVEUgKiAqCUxQTFBCWVRFOwp0eXBlZGVmIEJZVEUgY29uc3QgKglMUENCWVRFOwp0
eXBlZGVmIEJZVEUgY29uc3QgKiAqCUxQTFBDQllURTsKdHlwZWRlZiBJTlQgKgkJTFBJTlQ7CnR5
cGVkZWYgSU5UICogKgkJTFBMUElOVDsKdHlwZWRlZiBJTlQgY29uc3QgKglMUENJTlQ7CnR5cGVk
ZWYgSU5UIGNvbnN0ICogKglMUExQQ0lOVDsKdHlwZWRlZiBXT1JEICoJCUxQV09SRDsKdHlwZWRl
ZiBXT1JEICogKglMUExQV09SRDsKdHlwZWRlZiBXT1JEIGNvbnN0ICoJTFBDV09SRDsKdHlwZWRl
ZiBXT1JEIGNvbnN0ICogKglMUExQQ1dPUkQ7CnR5cGVkZWYgTE9ORyAqCQlMUExPTkc7CnR5cGVk
ZWYgTE9ORyAqICoJTFBMUExPTkc7CnR5cGVkZWYgTE9ORyBjb25zdCAqCUxQQ0xPTkc7CnR5cGVk
ZWYgTE9ORyBjb25zdCAqICoJTFBMUENMT05HOwp0eXBlZGVmIERXT1JEICoJCUxQRFdPUkQ7CnR5
cGVkZWYgRFdPUkQgKiAqCUxQTFBEV09SRDsKdHlwZWRlZiBEV09SRCBjb25zdCAqCUxQQ0RXT1JE
Owp0eXBlZGVmIERXT1JEIGNvbnN0ICogKglMUExQQ0RXT1JEOwoKdHlwZWRlZiBETE9ORyAqCQlM
UERMT05HOwp0eXBlZGVmIERMT05HICogKglMUExQRExPTkc7CnR5cGVkZWYgUVdPUkQgKgkJTFBR
V09SRDsKdHlwZWRlZiBRV09SRCAqICoJTFBMUFFXT1JEOwoKdHlwZWRlZiBCT09MICoJCUxQQk9P
TDsKdHlwZWRlZiBCT09MICogKglMUExQQk9PTDsKdHlwZWRlZiBWT0lEICoJCUxQVk9JRDsKdHlw
ZWRlZiBWT0lEICogKglMUExQVk9JRDsKdHlwZWRlZiBWT0lEIGNvbnN0ICoJTFBDVk9JRDsKdHlw
ZWRlZiBWT0lEIGNvbnN0ICogKglMUExQQ1ZPSUQ7CnR5cGVkZWYgVUlOVCAqCQlMUFVJTlQ7CnR5
cGVkZWYgVUlOVCAqICoJTFBMUFVJTlQ7Cgp0eXBlZGVmIENIQVIgKgkJTFBTVFI7CnR5cGVkZWYg
Q0hBUiAqICoJTFBMUFNUUjsKdHlwZWRlZiBjb25zdCBDSEFSICoJTFBDU1RSOwp0eXBlZGVmIGNv
bnN0IENIQVIgKiAqCUxQTFBDU1RSOwoKI2RlZmluZSBMT0JZVEUodykJKChCWVRFKSh3KSkKI2Rl
ZmluZSBISUJZVEUodykJKChCWVRFKSgoKFdPUkQpdykgPj4gOCkpCiNkZWZpbmUgTE9XT1JEKGR3
KQkoKFdPUkQpKGR3KSkKI2RlZmluZSBISVdPUkQoZHcpCSgoV09SRCkoKChEV09SRClkdykgPj4g
MTYpKQoKI2RlZmluZSBMT0RXT1JEKHF3KQkoKERXT1JEKShxdykpCiNkZWZpbmUgSElEV09SRChx
dykJKChEV09SRCkoKChRV09SRClxdykgPj4gMzIpKQoKI2RlZmluZSBNQUtFSU5UKGxvLGhpKSAg
ICggKElOVCkgICAoIChJTlQpIExPQllURShsbykgfCAoIChJTlQpIExPQllURShoaSkgPDwgIDgg
KSApICkKI2RlZmluZSBNQUtFV09SRChsbyxoaSkgICggKFdPUkQpICAoIChXT1JEKSBMT0JZVEUo
bG8pIHwgKCAoV09SRCkgTE9CWVRFKGhpKSA8PCAgOCApICkgKQojZGVmaW5lIE1BS0VMT05HKGxv
LGhpKSAgKCAoTE9ORykgICggKExPTkcpIExPV09SRChsbykgfCAoIChMT05HKSBMT1dPUkQoaGkp
IDw8IDE2ICkgKSApCiNkZWZpbmUgTUFLRURXT1JEKGxvLGhpKSAoIChEV09SRCkgKCAoRFdPUkQp
IExPV09SRChsbykgfCAoIChEV09SRCkgTE9XT1JEKGhpKSA8PCAxNiApICkgKQoKI2RlZmluZSBN
QUtFRExPTkcobG8saGkpICggKERMT05HKSAoIChRV09SRCkgTE9EV09SRChsbykgfCAoIChRV09S
RCkgTE9EV09SRChoaSkgPDwgMzIgKSApICkKI2RlZmluZSBNQUtFUVdPUkQobG8saGkpICggKFFX
T1JEKSAoIChRV09SRCkgTE9EV09SRChsbykgfCAoIChRV09SRCkgTE9EV09SRChoaSkgPDwgMzIg
KSApICkKCiNpZm5kZWYgRkFMU0UKI2RlZmluZSBGQUxTRQkJMAojZW5kaWYKCiNpZm5kZWYgVFJV
RQojZGVmaW5lIFRSVUUJCTEKI2VuZGlmCgojZGVmaW5lIG1heChhLGIpCSggKCAoYSkgPiAoYikg
KSA/IChhKSA6IChiKSApCiNkZWZpbmUgbWluKGEsYikJKCAoIChhKSA8IChiKSApID8gKGEpIDog
KGIpICkKCiNkZWZpbmUgTUFUX1RZUEVfUEFDS0VEICBfX2F0dHJpYnV0ZV9fICgocGFja2VkKSkK
CiNkZWZpbmUgV09SRF9TSVpFCTIKI2RlZmluZSBEV09SRF9TSVpFCTQKCiNkZWZpbmUgTUFUX1RZ
UEVfTk9fQUxJR05NRU5UCiNkZWZpbmUJTUFUX1RZUEVfTElUVExFX0VORElBTgoKI2RlZmluZSBN
QVRfVFlQRV9HRVRfV09SRChhKQkoKExQV09SRCkoYSkpWzBdCiNkZWZpbmUgTUFUX1RZUEVfUFVU
X1dPUkQoYSxiKQkoKChMUFdPUkQpKGEpKVswXSA9IChiKSkKI2RlZmluZSBNQVRfVFlQRV9HRVRf
RFdPUkQoYSkJKChMUERXT1JEKShhKSlbMF0KI2RlZmluZSBNQVRfVFlQRV9QVVRfRFdPUkQoYSxi
KQkoKChMUERXT1JEKShhKSlbMF0gPSAoYikpCgoKI2RlZmluZSBNQVRfVFlQRV9DT1BZX0lOX1dP
UkRTKGEsYixjKQltZW1jcHkoKGEpLChiKSwoYykqV09SRF9TSVpFKQojZGVmaW5lIE1BVF9UWVBF
X0NPUFlfT1VUX1dPUkRTKGEsYixjKQltZW1jcHkoKGEpLChiKSwoYykqV09SRF9TSVpFKQojZGVm
aW5lIE1BVF9UWVBFX0NPUFlfSU5fRFdPUkRTKGEsYixjKQltZW1jcHkoKGEpLChiKSwoYykqRFdP
UkRfU0laRSkKI2RlZmluZSBNQVRfVFlQRV9DT1BZX09VVF9EV09SRFMoYSxiLGMpCW1lbWNweSgo
YSksKGIpLChjKSpEV09SRF9TSVpFKQoKdHlwZWRlZiBMUFZPSUQgKCpNQVRDSF9BTExPQykoaW50
LGludCk7CnR5cGVkZWYgTFBWT0lEICgqTUFUQ0hfUkVBTExPQykoaW50LExQVk9JRCxpbnQpOwp0
eXBlZGVmIFZPSUQgKCpNQVRDSF9GUkVFKShpbnQsTFBWT0lEKTsKCiNkZWZpbmUgQVFXT1JEX1NJ
WkUJOAoKI2RlZmluZQlBUVdPUkQJCVFXT1JECiNkZWZpbmUgTFBBUVdPUkQJTFBRV09SRAoKI2Rl
ZmluZSBBUVdPUkRfTVVMX0FERChhLGIsYykJKCgqYSk9KCphKSooYikrKGMpKQpEV09SRCBBUVdP
UkRfRElWKExQQVFXT1JEIHF3b3JkLERXT1JEIGRpdik7CkRXT1JEIEFRV09SRF9BREQoTFBBUVdP
UkQgcXdvcmQxLExQQVFXT1JEIHF3b3JkMik7CiNkZWZpbmUgQVFXT1JEX1NVQihhLGIpCQkoKCph
KS09KCpiKSkKI2RlZmluZSBBUVdPUkRfQ01QKGEsYikJCSgoKmEpPT0oKmIpPzA6KCgqYSk+KCpi
KT8xOi0xKSkKI2RlZmluZSBBUVdPUkRfQUREX0QoYSxiKQkoKCphKSs9KGIpKQojZGVmaW5lIEFR
V09SRF9TRVQoYSxiKQkJKCgqYSk9KGIpKQojZGVmaW5lIEFRV09SRF9DT1BZKGEsYikJKCgqYSk9
KCpiKSkKI2RlZmluZSBBUVdPUkRfR0VUX1ZBTFVFKGEpCSgqYSkKCkRXT1JEIEFRV09SRF9ESVYo
TFBBUVdPUkQgcXdvcmQsRFdPUkQgZGl2KQp7CiAgRFdPUkQgcmV0ID0gKnF3b3JkJWRpdjsKICAq
cXdvcmQgLz0gZGl2OwogIHJldHVybihyZXQpOwp9CgpEV09SRCBBUVdPUkRfQUREKExQQVFXT1JE
IHF3b3JkMSxMUEFRV09SRCBxd29yZDIpCnsKICBBUVdPUkQgb2xkID0gKnF3b3JkMTsKICAqcXdv
cmQxICs9ICpxd29yZDI7CiAgcmV0dXJuKChvbGQ+KnF3b3JkMSk/MTowKTsKfQoKI2RlZmluZSBB
UVdPUkRfR0VUX0FRV09SRChhLGIpCSgoKExQQVFXT1JEKShhKSlbMF09KChMUEFRV09SRCkoYikp
WzBdKQojZGVmaW5lIEFRV09SRF9QVVRfQVFXT1JEKGEsYikJKCgoTFBBUVdPUkQpKGEpKVswXT0o
KExQQVFXT1JEKShiKSlbMF0pCgoKI2RlZmluZSBFUlJPUl9FWElUKCkgICAgcHJpbnRmKCJFcnJv
ciBhdCBsaW5lICV1XG4iLF9fTElORV9fKTsgXAogICAgICAgICAgICAgICAgICAgICAgICByZXR1
cm4oRkFMU0UpOwoKQk9PTCB0ZXN0YXF3MShMUEFRV09SRCBxdyxEV09SRCB2YWx1ZSkKewogIHJl
dHVybihBUVdPUkRfR0VUX1ZBTFVFKHF3KT09dmFsdWUpOwp9CgpCT09MIHRlc3RhcXcyKExQQVFX
T1JEIHF3LERXT1JEIHZhbHVlbCxEV09SRCB2YWx1ZWgpCnsKICBCWVRFIGJ1ZmZbOF07CiAgQVFX
T1JEX1BVVF9BUVdPUkQoYnVmZixxdyk7CiAgaWYodmFsdWVsIT1NQVRfVFlQRV9HRVRfRFdPUkQo
YnVmZiswKSkgeyBFUlJPUl9FWElUKCk7IH0KICBpZih2YWx1ZWghPU1BVF9UWVBFX0dFVF9EV09S
RChidWZmKzQpKSB7IEVSUk9SX0VYSVQoKTsgfQogIHJldHVybihUUlVFKTsKfQoKQk9PTCB0ZXN0
YXF3MyhMUEFRV09SRCBxdyxEV09SRCB2YWx1ZWwsRFdPUkQgdmFsdWVoKQp7CiAgQVFXT1JEIGFx
dzsKICBBUVdPUkRfQ09QWSgmYXF3LHF3KTsKICBpZihMT1dPUkQodmFsdWVsKSE9QVFXT1JEX0RJ
VigmYXF3LDB4MTAwMDApKSB7IEVSUk9SX0VYSVQoKTsgfQogIGlmKEhJV09SRCh2YWx1ZWwpIT1B
UVdPUkRfRElWKCZhcXcsMHgxMDAwMCkpIHsgRVJST1JfRVhJVCgpOyB9CiAgaWYoTE9XT1JEKHZh
bHVlaCkhPUFRV09SRF9ESVYoJmFxdywweDEwMDAwKSkgeyBFUlJPUl9FWElUKCk7IH0KICBpZihI
SVdPUkQodmFsdWVoKSE9QVFXT1JEX0RJVigmYXF3LDB4MTAwMDApKSB7IEVSUk9SX0VYSVQoKTsg
fQogIHJldHVybihBUVdPUkRfR0VUX1ZBTFVFKCZhcXcpPT0wKTsKfQoKQllURSBidWZmMVsxNl07
CgpCT09MIFRlc3Qodm9pZCkKewogIERXT1JEIGR4OwogIEFRV09SRCBhcXcsYXF3MTsKICBpbnQg
aXgsaXk7CiAgZm9yKGl4PTA7aXg8MTAwO2l4KyspCiAgICB7CiAgICAgIGR4ID0gMTUwNDU4NTU1
KihEV09SRClpeDsKICAgICAgQVFXT1JEX1NFVCgmYXF3LGR4KTsKICAgICAgaWYoIXRlc3RhcXcx
KCZhcXcsZHgpKSB7IEVSUk9SX0VYSVQoKTsgfQogICAgICBBUVdPUkRfQ09QWSgmYXF3MSwmYXF3
KTsKICAgICAgaWYoIXRlc3RhcXcxKCZhcXcxLGR4KSkgeyBFUlJPUl9FWElUKCk7IH0KICAgICAg
QVFXT1JEX1BVVF9BUVdPUkQoYnVmZjErMCwmYXF3MSk7CiAgICAgIGlmKGR4IT1NQVRfVFlQRV9H
RVRfRFdPUkQoYnVmZjErMCkpIHsgRVJST1JfRVhJVCgpOyB9CiAgICAgIGlmKDAhPU1BVF9UWVBF
X0dFVF9EV09SRChidWZmMSs0KSkgeyBFUlJPUl9FWElUKCk7IH0KICAgICAgZm9yKGl5PTA7aXk8
ODtpeSsrKQoJewoJICBBUVdPUkRfUFVUX0FRV09SRChidWZmMStpeSswLCZhcXcpOwoJICBpZihk
eCE9TUFUX1RZUEVfR0VUX0RXT1JEKGJ1ZmYxK2l5KzApKSB7IEVSUk9SX0VYSVQoKTsgfQoJICBp
ZigwIT1NQVRfVFlQRV9HRVRfRFdPUkQoYnVmZjEraXkrNCkpIHsgRVJST1JfRVhJVCgpOyB9Cgkg
IEFRV09SRF9HRVRfQVFXT1JEKCZhcXcsYnVmZjEraXkrMCk7CgkgIGlmKCF0ZXN0YXF3MSgmYXF3
LGR4KSkgeyBFUlJPUl9FWElUKCk7IH0KCX0KICAgICAgZm9yKGl5PTA7aXk8MjU7aXkrKykKCXsK
CSAgQVFXT1JEX01VTF9BREQoJmFxdywweDEwMDAwLGl5KjM3KTsKCSAgaWYoIXRlc3RhcXcyKCZh
cXcsKGR4PDwxNikraXkqMzcsZHg+PjE2KSkgeyBFUlJPUl9FWElUKCk7IH0KCSAgaWYoIXRlc3Rh
cXczKCZhcXcsKGR4PDwxNikraXkqMzcsZHg+PjE2KSkgeyBFUlJPUl9FWElUKCk7IH0KCSAgaWYo
QVFXT1JEX0RJVigmYXF3LDB4MTAwMDApIT1peSozNykgeyBFUlJPUl9FWElUKCk7IH0KCSAgQVFX
T1JEX01VTF9BREQoJmFxdywweDEwMDAwLDExKTsKCSAgQVFXT1JEX0FERF9EKCZhcXcsaXkqMjcp
OwoJICBpZighdGVzdGFxdzIoJmFxdywoZHg8PDE2KStpeSoyNysxMSxkeD4+MTYpKSB7IEVSUk9S
X0VYSVQoKTsgfQoJICBpZighdGVzdGFxdzMoJmFxdywoZHg8PDE2KStpeSoyNysxMSxkeD4+MTYp
KSB7IEVSUk9SX0VYSVQoKTsgfQoJICBpZihBUVdPUkRfRElWKCZhcXcsMHgxMDAwMCkhPWl5KjI3
KzExKSB7IEVSUk9SX0VYSVQoKTsgfQoJfQogICAgfQogIHJldHVybihUUlVFKTsKfQoKaW50IG1h
aW4oKQp7CiAgVGVzdCgpOwp9Cg==

Re: optimization/6752: Code which causes errors when optimized.

[jakub]

Synopsis: Code which causes errors when optimized.

State-Changed-From-To: open->closed
State-Changed-By: jakub
State-Changed-When: Tue May 21 10:37:26 2002
State-Changed-Why:
    See info gcc on -fstrict-aliasing, either rewrite your code
    to comply or use -fno-strict-aliasing.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6752