printf ("%hhd", 0x100);

[Mathieu Lacage]

hi,

I believe the following code should generate twice the same output on
any architecture.

#include <stdio.h>
int main (int argc, char *argv[])
{
        signed char sc = (signed char) 0x100;
        printf ("%hhd\n", sc);
        printf ("%hhd\n", 0x100);
        return 0;
}

However, on my system, I get the following:
address@hidden stdio-common]$ ./a.out
0
256
address@hidden stdio-common]$

regards,
Mathieu

PS: the web interface to GNATS does not answer.
-- 
Mathieu Lacage <address@hidden>