http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52286
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #3 f
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52286
--- Comment #2 from John Regehr 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;
}
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52286
John Regehr changed:
What|Removed |Added
CC||chenyang at cs dot utah.edu
--- Comment #1
