Merge branch 'scopetracker-nothrow'
authorThomas Jarosch <thomas.jarosch@intra2net.com>
Wed, 8 Aug 2018 09:31:39 +0000 (11:31 +0200)
committerThomas Jarosch <thomas.jarosch@intra2net.com>
Wed, 8 Aug 2018 09:31:39 +0000 (11:31 +0200)
The nothrow() modification of SourceLocation has been dropped
since std::string might throw std::bad_alloc.
Fixing this would require more work for little gain.


Trivial merge