> OK. Note I wondered for some time whether we can pre-compute (and LTO > stream) whether a type is variably modified during type layout?
During type layout seems a little early, the end of gimplification would seem more natural since we have a workaround in RETURN_TRUE_IF_VAR: /* Test if T is either variable (if FN is zero) or an expression containing a variable in FN. If TYPE isn't gimplified, return true also if gimplify_one_sizepos would gimplify the expression into a local variable. */ -- Eric Botcazou
