Olivier Hainque wrote: > It unfortunately has a consequence which seems undesireable to me: we get > different code depending on whether -g is provided or not. Seriously unacceptable. It is a crucial guarantee that -g NEVER should change the generated code. > > Is that indeed a valid concern ?