[Bug middle-end/40943] New: Uninitialized warning is missed when dereferencing uninitialized pointers

[mikulas at artax dot karlin dot mff dot cuni dot cz]

Hi

This is a simple example that should warn about uninitialized variable, but
doesn't. Compile with -O2 -Wall:

void a(void)
{
        int *p1;
        *p1 = 3;
}

gcc-4.3 warned correctly in this case.


-- 
           Summary: Uninitialized warning is missed when dereferencing
                    uninitialized pointers
           Product: gcc
           Version: 4.4.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mikulas at artax dot karlin dot mff dot cuni dot cz
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40943