Fixed an issue with the non-existence of the source-manager under some options (-fsyntax-only for example).