GCSE botch with EH case

[Richard Kenner]

    This causes trapping expressions to be not transparent/antic in blocks
    whose predecessors are abnormal.  For store motion, you need to do the
    same, except they can't be transparent/antic in blocks whose successor
    edges are abnormal edges.  This will prevent it from pushing stores
    down across abnormal edges.  

I don't follow.  The stores in question aren't trapping expressions.  The
issue isn't that the store could trap (it can't), but that it is being moved
from a block which is the normal case into the block corresponding to a
handler.  So I don't see how that code you mention is related to this problem
from what you and the comments in that code says.