Bootstrap problem

[Andrew Pinski <pinskia at physics dot uc dot edu>]

When I use the attached patch which just comments out the forwprop 
pass, I get a
bootstrap failure:
/Users/pinskia/src/local3/gcc/gcc/tree-ssa-operands.c: In function 
'finalize_ssa_uses':
/Users/pinskia/src/local3/gcc/gcc/tree-ssa-operands.c:569: error: 
Definition in block 65 does not dominate use in block 15
for SSA_NAME: TMT.558_22 in statement:
TMT.558_41 = PHI <TMT.558_22(15), TMT.558_243(113)>;
PHI argument
TMT.558_22
for PHI node
TMT.558_41 = PHI <TMT.558_22(15), TMT.558_243(113)>;
/Users/pinskia/src/local3/gcc/gcc/tree-ssa-operands.c:569: internal 
compiler error: verify_ssa failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Attached is also the .i file for tree-ssa-operands.c
The failure happens in copyprop3 but that is all I can tell, I have no 
idea
what is going wrong.

This is blocking me working on the tree combiner.

Could someone look into this?

Thanks,
Andrew Pinski



Patch:

Attachment: y9.diff.txt
Description: Text document

Testcase:

Attachment: tree-ssa-operands.c.gz
Description: GNU Zip compressed data