Fun with constants
Pascal Cuoq - 9th Sep 2011Another facetious colleague reports a strange behavior with the following C program:
int main (void) {
int x = 100;
int y = 042;
int z = 005;
printf (\%d" x+y+z);
return (x+y+z) - 147;
}
Frama-C Another facetious colleague reports a strange behavior with the following C program:
int main (void) {
int x = 100;
int y = 042;
int z = 005;
printf (\%d" x+y+z);
return (x+y+z) - 147;
}