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: [email protected]
ReportedBy: [email protected]
#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.