> But where do you expand it without the SAVE_EXPR? The same > restrictions apply there. So I suppose you expand it to a function > in which case there is the context where the SAVE_EXPR can be > expanded exactly once.
You don't have SAVE_EXPRs so you're precisely controlling what you're doing. Once a SAVE_EXPR is generated, things are pretty much out of control for the front-end. > But maybe I'm confused and simply lack an actual testcase that > shows the issue ;) Remove the call to global_bindings_p from variable_size and run gnat.dg. -- Eric Botcazou