[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Tinycc-devel] bug?
From: |
John Regehr |
Subject: |
[Tinycc-devel] bug? |
Date: |
Mon, 18 Aug 2008 13:03:18 -0600 |
User-agent: |
Thunderbird 2.0.0.6 (X11/20070824) |
For the program below, tcc emits a program that prints "255" whereas
most compilers would say that the program should print "1".
Of course wrapping the signed scalar p_99 has undefined behavior, so
what I am asking is: is tcc intentionally exploiting the undefinedness
of the program, or is this a bug?
Thanks,
John Regehr
#include <stdio.h>
int g_254;
void func_97 (signed char p_99);
void func_97 (signed char p_99)
{
for (; p_99; p_99 -= 1)
g_254 = p_99;
}
int
main (void)
{
func_97 (-1);
printf ("%d\n", g_254);
return 0;
}
- [Tinycc-devel] bug?,
John Regehr <=