[Bug tree-optimization/17518] New: [4.0 regression] Incorrect <var> is used uninitialized warning (-O1, -O2, -O3)

["gerald at pfeifer dot com" <gcc-bugzilla at gcc dot gnu dot org>]

% cat x.c
main(int, char **) {
  bool b;
  if( false )
    if( b ) /* this never shall be reached */
      return -1;
}

% gccvs x.c -W -O1
x.c: In function `int main(int, char**)':
x.c:4: warning: 'b' is used uninitialized in this function

-- 
           Summary: [4.0 regression] Incorrect <var> is used uninitialized
                    warning (-O1, -O2, -O3)
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gerald at pfeifer dot com
                CC: gcc-bugs at gcc dot gnu dot org,steven at gcc dot gnu
                    dot org
  GCC host triplet: i686-pc-linux-gnu


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