This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/52286] wrong code bug
- From: "regehr at cs dot utah.edu" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 16 Feb 2012 18:51:50 +0000
- Subject: [Bug c/52286] wrong code bug
- Auto-submitted: auto-generated
- References: <bug-52286-4@http.gcc.gnu.org/bugzilla/>
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;
}