[trans-mem] COMMITTED: propagate irrevocability in the presence of EXIT_BLOCKs correctly

[Aldy Hernandez]

Currently we are getting confused when examining an EXIT_BLOCK in 
ipa_tm_propagate_irr(), because we assume for any given BB that all 
children are irrevocable unless we can prove otherwise.  However, if we 
have no successors (e.g. an EXIT_BLOCK), we end up assuming all children 
are irrevocable, so the EXIT_BLOCK must be irrevocable as well.

I believe this is an obvious patch and am committing as such.  Please 
feel free to contradict me, if I am wrong.

This patch fixes the ICE in PR/47340.

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: curr
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20110131/71509b11/attachment.ksh>