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)
commit2cca6732e1ce25e54478ad0745ecdf558dc0f36a
tree7db26dc115ad91994f999bccddede4cefee0d3ff
parent7c1f83f877812eb18cb84e8a6106b3d133219b1e
parent096e680f525d096cc0575face8251179e9629761
Merge branch 'scopetracker-nothrow'

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.