------- Additional Comments From bothner at gcc dot gnu dot org 2005-04-28 23:59 ------- Re comment #2:
I don't believe the text you quoted from the C standard is relevant. <built-in> is not a "source file". While the C standard isn't directly relevant to Gas, a relevant issue is what the C standard says of #line directives: Should a C compiler complain if it sees a line number zero in a #line directive? Note this is directly answered by your quotation. But rather than argue standards, my inclination would be to use zero as the pseudo-line-number of <built-in> declarations, but suppress the output of the # 0 <built-in> in preprocessor output. This will have to be discussed on the gcc/gcc-patches mailing list (after I get back home). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21250
