[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 (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?


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;

main (void)
  func_97 (-1);
  printf ("%d\n", g_254);
  return 0;

reply via email to

[Prev in Thread] Current Thread [Next in Thread]