http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45982
Summary: [4.3/4.4/4.5/4.6 Regression] PTA does not track integers Product: gcc Version: 4.6.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassig...@gcc.gnu.org ReportedBy: rgue...@gcc.gnu.org #include <stdint.h> extern void abort (void); uintptr_t __attribute__((pure,noinline,noclone)) foo (int *a) { return (uintptr_t) a; } void __attribute__((noinline,noclone)) bar (uintptr_t a) { int *p = (int *)a; *p = 1; } int main() { int t = 0; bar (foo (&t)); if (t != 1) abort (); return 0; } Related to PR45967.