------- Comment #12 from jakub at gcc dot gnu dot org 2010-03-17 08:30 ------- If it is ok to call check_maybe_invariant in this spot, then I think that's the right fix. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43360