[PATCH] Disallow inlining if static vars in that function contain addresses of that function's labels (PR tree-optimization/29484)

Joseph S. Myers joseph@codesourcery.com
Sun Dec 30 19:29:00 GMT 2007


On Wed, 26 Dec 2007, Mark Mitchell wrote:

> would succeed.  Function pointers are guaranteed unique, and labels seem
> quite similar at first blush, though I understand that they can only be
> used from within the function itself.
> 
> Joseph, as a C maintainer, what do you think about this?

Existing practice for this extension has the labels only valid for 
computed goto, with the actual values unspecified and no requirements for 
comparability.

If they are used in static initializers they also need to be usable in all 
calls to that function.  Otherwise, they are probably only usable for 
computed goto within the particular call to the function in which the 
label value is taken.

-- 
Joseph S. Myers
joseph@codesourcery.com



More information about the Gcc-patches mailing list