http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50966
Bug #: 50966 Summary: [4.4/4.5/4.6/4.7 Regression] Missing 'is used uninitialized' warning (struct pointer dereference) Classification: Unclassified Product: gcc Version: 4.7.0 Status: UNCONFIRMED Keywords: diagnostic Severity: minor Priority: P3 Component: middle-end AssignedTo: unassig...@gcc.gnu.org ReportedBy: belys...@depni.sinp.msu.ru CC: m...@gcc.gnu.org Blocks: 24639 Manuel, after your commit r139347 gcc doesn't warn about dereference of 'bar' in this testcase anymore: struct foo { int x; }; int main (void) { struct foo *bar; __builtin_printf ("%p\n", &bar->x); return 0; }