pragma diagnostic push/pop

[Tom Tromey]

>>>>> "Manuel" == Manuel López-Ibáñez <lopezibanez@gmail.com> writes:

Manuel> I agree with Tom that this would be desirable but I think that it is
Manuel> not possible except by modifying pragma_lex to return the location
Manuel> somehow. Probably not worthwhile at this point, since the
Manuel> input_location should be pretty accurate for the lexer, so the only
Manuel> benefit is getting rid of a global.

I forgot to mention: at the very least I think the diagnostic routines
should take the location as a parameter.  If we must use input_location,
let it be in the callers.

Tom