http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58385
Bug ID: 58385
Summary: likely wrong code bug
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: regehr at cs dot utah.edu
CC: chenyang at cs dot utah.edu
regehr@john-home ~/z/reduce/r112 $ gcc -O0 small.c ; ./a.out
0
regehr@john-home ~/z/reduce/r112 $ gcc -O1 small.c ; ./a.out
1
regehr@john-home ~/z/reduce/r112 $ cat small.c
int printf(const char *, ...);
int x0, x1 = 1;
int x2() {
x1 = 0;
return 0;
}
int main() {
((0 || x0) & x2() >= 0) <= 1 && 1;
printf("%d\n", x1);
return 0;
}
regehr@john-home ~/z/reduce/r112 $ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r202470-install/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r202470-install
--enable-languages=c,c++ --disable-multilib
Thread model: posix
gcc version 4.9.0 20130910 (experimental) (GCC)
