On Saturday 12 May 2007 2:31 pm, Philippe Ribet wrote:
> Hello,
> 
> I just succeed in isolating a tcc bug from a very large piece of software:
> 
> #include <stdio.h>
> #include <inttypes.h>
> 
> int main(int argc, char ** argv) {
>   printf("%d\n",INT64_C(0)>=(INT64_C(-2147483648)));
>   return 0;
> }
> 
> I hope it won't be too hard to fix.

I added it to http://landley.net/code/tinycc/bugs and may take a stab at 
tracking it down over the weekend if somebody doesn't beat me to it. :)

Rob


_______________________________________________
Tinycc-devel mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/tinycc-devel

Reply via email to