------- Comment #11 from matz at gcc dot gnu dot org 2007-11-22 14:13 ------- Btw. canonicalization/rewriting on INSERT is indeed okay. As long as the hash tables are deleted after every iteration (or otherwise invalidated). At least the now provably false information needs to be removed, which is a bit difficult to track when you do general rewriting, so invalidating the whole thing is probably easiest.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34176
