------- Additional Comments From dberlin at gcc dot gnu dot org 2005-05-04 01:16 ------- PRE should notice the value is AVAIL in the block it's placing it in, so it shouldn't end up in the insert bitmap.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16967