[Bug middle-end/50966] New: [4.4/4.5/4.6/4.7 Regression] Missing 'is used uninitialized' warning (struct pointer dereference)

["belyshev at depni dot sinp.msu.ru" <gcc-bugzilla at gcc dot gnu dot org>]

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: unassigned@gcc.gnu.org
        ReportedBy: belyshev@depni.sinp.msu.ru
                CC: manu@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;
}