------- Comment #5 from rguenth at gcc dot gnu dot org 2008-03-16 12:32 ------- One solution is to, in expand_simple_operations, expand all TREE_INVARIANT operations so we end up with
# ivtmp.16_1 = PHI <ivtmp.16_11(5), &__fini_array_start[(unsigned int) (((int) &__fini_array_end - (int) &__fini_array_start) /[ex] 4)](3)> instead which we can let pass verification without fatal effects. The other solution is to kill TREE_INVARIANT from everything but constants and invariant addresses during gimplification. Anyone with other options? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35607