[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Tinycc-devel] bug?

From: John Regehr
Subject: Re: [Tinycc-devel] bug?
Date: Mon, 18 Aug 2008 13:07:11 -0600
User-agent: Thunderbird (X11/20070824)

Sorry, I mean it prints "-255".

I'm using tcc-0.9.24 on Ubnutu Linux.

John Regehr

John Regehr wrote:
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;

Tinycc-devel mailing list

reply via email to

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