https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81932
--- Comment #7 from Paul Smith <psmith at gnu dot org> --- I'm not sure what the impacts of "if (pp->flags & pp_c_flag_gnu_v3)" are; does this mean it only works if you specify -ggdb3? Is that the right thing? I don't know what the differences are between the different debug types. Thanks for picking up this issue so quickly!