[Bug c/51023] likely integer wrong code bug

[regehr at cs dot utah.edu]

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

--- Comment #1 from John Regehr <regehr at cs dot utah.edu> 2011-11-08 05:53:57 
UTC ---
Slightly smaller testcase:

int printf (const char *, ...);

short func_11 (int si1) {
  return si1;
}

int main () {
  int l_141 = 0x4272A;
  printf ("%d\n", func_11 (l_141) == l_141);
  return 0;
}