On 1/2/19 4:26 PM, Paolo Carlini wrote: > it seems we can easily improve this location by using > DECL_SOURCE_LOCATION in the standard way. Tested x86_64-linux. OK. Jason