The -Wa,--gstabs introduces one slight problem. You want to do it if you get a .s file from the native back end, but you probably don't want to do that if the .s file comes from another source. (I.e., I could have my own library routines written in assembler.) What kinds of stabs information does the -Wa,--gstabs actually put in? Line number stuff? Local symbols? Any thing else?