[Bug ada/32733] New: g-spipat.adb:1597: error: definition in block 11 does not dominate use in block 12

["cato at df dot lth dot se" <gcc-bugzilla at gcc dot gnu dot org>]

Ada (revision 126547) fails bootstrap on i386-unknown-netbsdelf3.1:
/gcctmp/agcc070711/build/./gcc/xgcc -B/gcctmp/agcc070711/build/./gcc/
-B/usr/local/i386-unknown-netbsdelf3.1/bin/
-B/usr/local/i386-unknown-netbsdelf3.1/lib/ -isystem
/usr/local/i386-unknown-netbsdelf3.1/include -isystem
/usr/local/i386-unknown-netbsdelf3.1/sys-include -c -g -O2      -W -Wall
-gnatpg  g-spipat.adb -o g-spipat.o
g-spipat.adb: In function 'GNAT.SPITBOL.PATTERNS.XMATCHD':
g-spipat.adb:1302: warning: '<anonymous>' may be used uninitialized in this
function
g-spipat.adb:1302: note: '<anonymous>' was declared here
g-spipat.adb:5221: warning: 'S' may be used uninitialized in this function
g-spipat.adb:5221: warning: 'GNAT.SPITBOL.PATTERNS.XMATCHD.L_70.T2464B' may be
used uninitialized in this function
g-spipat.adb:5002: warning: 'ASSIGN_ONM' may be used uninitialized in this
function
g-spipat.adb:4959: warning: 'LENGTH' may be used uninitialized in this function
g-spipat.adb:4955: warning: 'NODE' may be used uninitialized in this function
g-spipat.adb:1306: warning: 'STOP' may be used uninitialized in this function
g-spipat.adb:1306: note: 'STOP' was declared here
g-spipat.adb:1305: warning: 'START' may be used uninitialized in this function
g-spipat.adb:1305: note: 'START' was declared here
g-spipat.adb: In function 'GNAT.SPITBOL.PATTERNS.ALTERNATE':
g-spipat.adb:1597: error: definition in block 11 does not dominate use in block
12
for SSA_NAME: NMT.17854_68 in statement:
NMT.17854_209 = PHI <NMT.17854_150(7), NMT.17854_68(8), NMT.17854_68(11),
NMT.17854_68(12)>
PHI argument
NMT.17854_68
for PHI node
NMT.17854_209 = PHI <NMT.17854_150(7), NMT.17854_68(8), NMT.17854_68(11),
NMT.17854_68(12)>
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070711 (experimental) (i386-unknown-netbsdelf3.1) GCC error:     |
| verify_ssa failed                                                        |
| Error detected around g-spipat.adb:1597                                  |
[...]

> ./xgcc -B./ -v
Reading specs from ./specs
Target: i386-unknown-netbsdelf3.1
Configured with: ../gcc/configure --enable-languages=c,ada
Thread model: posix
gcc version 4.3.0 20070711 (experimental)

The source tree has the following patch applied to fix an unrelated bootstrap
problem on NetBSD:
   http://gcc.gnu.org/ml/gcc-patches/2007-06/msg02159.html


-- 
           Summary: g-spipat.adb:1597: error: definition in block 11 does
                    not dominate use in block 12
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: cato at df dot lth dot se
 GCC build triplet: i386-unknown-netbsdelf3.1
  GCC host triplet: i386-unknown-netbsdelf3.1
GCC target triplet: i386-unknown-netbsdelf3.1


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