Integer promotion and overflows #423
Description
int main() {
long x = -2147483648 - 1;
printf("%ld\n", x);
return 0;
}
with LP64 architecture causes an overflow according to Theta, but not according to sv-benchmarks.
{{ message }}
int main() {
long x = -2147483648 - 1;
printf("%ld\n", x);
return 0;
}
with LP64 architecture causes an overflow according to Theta, but not according to sv-benchmarks.