Fixed bug involving labels in GIMPLE_COND statements.
authorJustin Seyster <jseyster@cs.sunysb.edu>
Tue, 17 Aug 2010 00:03:17 +0000 (20:03 -0400)
committerJustin Seyster <jseyster@cs.sunysb.edu>
Tue, 17 Aug 2010 00:03:17 +0000 (20:03 -0400)
commit65a8a8480bf84c7aaa0b24ddfa3aadca717fb853
treedcd4c619917283f324c8309b1931fb38ace4eaa5
parent5d9f4f023fd155e6dec755fbf5f1f4c152a24fa3
Fixed bug involving labels in GIMPLE_COND statements.

Turns out that once we're at the GIMPLE level, GIMPLE_CONDs should no
longer have labels.  The optimization routine that gets rid of
"forwarder" basic blocks is aware of this, so it does not update the
labes in the GIMPLE_COND when it redirects an edge.

The routine that cleans up unnecessary labels, however, sees these
labels, which may have been destroyed by the forwarder optimization,
and can crash as a result.
src/aop-duplicate.c