!SrcMan can happen for Locs from the command line!

Fixes issue reported by Guy Barrand and others; test coming up.
Test that #pragma diagnoistics does not cause problems.