http://llvm.org/bugs/show_bug.cgi?id=8577
Summary: improve side effect modelling of standard lib
functions
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Keywords: quality-of-implementation
Severity: normal
Priority: P
Component: new bugs
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected], [email protected]
#include <math.h>
int g = 1, g2;
double d = 1;
void foo()
{
g = 1;
d = exp(d);
g2 = g;
}
g = 1 should be const propagated. Clang does not do this even with -ffast-math.
Gcc is also weak, but it treats exp as pure when -ffast-math is specified.
David
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
