------- Comment #3 from pinskia at gcc dot gnu dot org 2006-05-10 15:10 ------- Just to explain why "&"a"[0] + 2B" is valid gimple: &"a"[0] is a gimple invariant and likewise for 2b. Therefor the two sides of the Plus expression are going to valid for it. Therefor valid gimple.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27532
