[Bug c++/46836] reporting locations for names in std namespace could be improved

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46836

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-05-29 12:08:24 UTC ---
For PR 52974 Manu made a huge improvement, so that we only get
/some/ugly/path/the/user/didn't/include instead of
/some/ugly/path/the/user/can't/even/parse/../../../didn't/include, but this PR
suggests printing the name of a standard header instead of a physical path.

This would make it harder to go and look at the relevant code, so there should
be an option to display the physical path, but most users don't need to look in
standard headers and can't read the uglified code anyway