[Bug c/52286] wrong code bug

[regehr at cs dot utah.edu]

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

--- Comment #2 from John Regehr <regehr at cs dot utah.edu> 2012-02-16 18:51:50 
UTC ---
Sorry, previous one wasn't quite reduced.


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

int a, b;

int main (void)
{
  b = (~a | 0 >= 0) & 0x98685255F;
  printf ("%d\n", b < 0);
  return 0;
}