http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58365

            Bug ID: 58365
           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/r109 $ clang -O small.c ; ./a.out 
0
regehr@john-home ~/z/reduce/r109 $ gcc -O small.c ; ./a.out 
0
regehr@john-home ~/z/reduce/r109 $ gcc -Os small.c ; ./a.out 
1
regehr@john-home ~/z/reduce/r109 $ cat small.c
int printf(const char *, ...);
struct x0 {
  volatile int x1;
  int x2;
  int x3;
  int x4;
  int x5;
} x6;
static struct x0 x7, x8;
int x9 = 1;
char x10();
static struct x0 x11() {
  if (x10())
    return x6;
  return x7;
}

char x10() { return x9; }

int main() {
  x8 = x11();
  x6.x2 = 1;
  printf("%d\n", x8.x2);
  return 0;
}
regehr@john-home ~/z/reduce/r109 $ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r202341-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-r202341-install
--enable-languages=c,c++ --disable-multilib
Thread model: posix
gcc version 4.9.0 20130906 (experimental) (GCC) 
regehr@john-home ~/z/reduce/r109 $

Reply via email to