Sent from my iPhone
On Mar 28, 2008, at 21:40, "regehr at cs dot utah dot edu" <[EMAIL PROTECTED]
> wrote:
This is for "gcc (GCC) 4.3.0".
This function returns different values at -O1 and -O2:
int func_5 (void) {
int g_4 = 0x4E6D4F28;
return 0 <= (6 * g_4);
}
This multiplication overf
This is for "gcc (GCC) 4.3.0".
This function returns different values at -O1 and -O2:
int func_5 (void) {
int g_4 = 0x4E6D4F28;
return 0 <= (6 * g_4);
}
At -O1 output looks good:
func_5:
pushl %ebp
movl%esp, %ebp
movl$0, %eax
popl%ebp
re
