> 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

Reply via email to