verify: port 'assume' to traditional tools
commit3357fb4932728060aa6bce573572374ddec43c61
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 12 Aug 2018 01:56:40 +0000 (11 18:56 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 12 Aug 2018 01:57:36 +0000 (11 18:57 -0700)
tree9eaa365782762d453491ca2c0058a294ea86b787
parent69ac3f3e2d0f2e6c6d2f7a97a780325485aaef0e
verify: port 'assume' to traditional tools

* lib/verify.h (assume): Port better to Oracle Studio 12.6
and other tools that use /*NOTREACHED*/ comments.
ChangeLog
lib/verify.h