On Fri, 2 Dec 2011, Ludovic Courtès wrote: > I'm just thinking that, if that information were preserved, GCC could do > static bound checking and/or generate bound checking code. As I noted, that would be contrary to the language semantics unless [static] is used. -- Joseph S. Myers joseph@codesourcery.com