On Thu, 2014-06-05 at 12:18 +0200, Stephan Bergmann wrote: > ...even in such a simple scenario? Yeah, the example is effectively the case I've seen two or three times where a simple boolean controls the throw/not-throw behaviour > Isn't that a serious bug in coverity then? It's definitely a quirk to watch out for. C.