aboutsummaryrefslogtreecommitdiffstats
path: root/support/verify.h
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-09-07 11:11:16 +0300
committerArnold D. Robbins <arnold@skeeve.com>2018-09-07 11:11:16 +0300
commit2c61707777c631d919dd03b8da378145dc3ecf99 (patch)
treeb5adba206e6276dce82cbdd83b8efc4aa53c3676 /support/verify.h
parente04cfd3ebacb887e789ee73b342125602ea21b99 (diff)
parentbd270ca4676197614da0d7b5d793c9c8b7cd333b (diff)
downloadegawk-2c61707777c631d919dd03b8da378145dc3ecf99.tar.gz
egawk-2c61707777c631d919dd03b8da378145dc3ecf99.tar.bz2
egawk-2c61707777c631d919dd03b8da378145dc3ecf99.zip
Merge branch 'master' into feature/fix-comments
Diffstat (limited to 'support/verify.h')
-rw-r--r--support/verify.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/support/verify.h b/support/verify.h
index bc7f99db..3b57ddee 100644
--- a/support/verify.h
+++ b/support/verify.h
@@ -276,7 +276,8 @@ template <int w>
when 'assume' silences warnings even with older GCCs. */
# define assume(R) ((R) ? (void) 0 : __builtin_trap ())
#else
-# define assume(R) ((void) (0 && (R)))
+ /* Some tools grok NOTREACHED, e.g., Oracle Studio 12.6. */
+# define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0)
#endif
/* @assert.h omit end@ */