-g should really be controlling the emission of debug info, and nothing else, I would have thought? This is independent of the amount of optimization being perf

-g should really be controlling the emission of debug info, and nothing else, I would have thought? This is independent of the amount of optimization being performed. In fact the code part of the result should be identical in both cases, and ideally at runtime it should be impossible to tell the difference between -g and not (since presumably the loader won't load/map the debug info even if it's embedded).