About the is_gimple_min_invariant predicate

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Thu Jul 5 12:42:00 GMT 2007

> GNU C has it too:

Yes, but in that case, it's always the same for every reference to the same
type.  For GENERIC, that means it can indeed be taken from the type every
time, but the issue is gimplification.  The Ada case is harder because
you not only have to deal with gimplification, but that the value is
potentially different in each access.

More information about the Gcc mailing list