[Bug c/23844] New: fails to detect "is used uninitialized"

[marcus at jet dot franken dot de]

the following snippet (extracted from WINE) fails to detect 
"is used uninitialized" in msi_maskedit_create_children(). 
 
The problem is likely the very similar looking code somewhere else 
in the inline chain. 
 
4.0 and 4.1

-- 
           Summary: fails to detect "is used uninitialized"
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: marcus at jet dot franken dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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