aboutsummaryrefslogtreecommitdiffstats
path: root/missing_d/verify.h
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-09-21 12:45:49 +0300
committerArnold D. Robbins <arnold@skeeve.com>2018-09-21 12:45:49 +0300
commitdfa06e8677737ca794f9505aac71d67679979c6d (patch)
tree1540c1d662443c2b62d2ee7a02294d1ab6ff59db /missing_d/verify.h
parent362a100732b1017b54d3d6c6f14ea6ba59e657c2 (diff)
parenta7c32b55995136013af2bff2a0fe4d6c69678cb7 (diff)
downloadegawk-dfa06e8677737ca794f9505aac71d67679979c6d.tar.gz
egawk-dfa06e8677737ca794f9505aac71d67679979c6d.tar.bz2
egawk-dfa06e8677737ca794f9505aac71d67679979c6d.zip
Merge branch 'master' into feature/fix-comments
Diffstat (limited to 'missing_d/verify.h')
-rw-r--r--missing_d/verify.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/missing_d/verify.h b/missing_d/verify.h
index bc7f99db..3b57ddee 100644
--- a/missing_d/verify.h
+++ b/missing_d/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@ */