aboutsummaryrefslogtreecommitdiffstats
path: root/missing_d/verify.h
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-09-21 12:44:21 +0300
committerArnold D. Robbins <arnold@skeeve.com>2018-09-21 12:44:21 +0300
commitf6a89a9b3ecd956e97b61719ea0d634886ace814 (patch)
treeb1665dbdfe4df1e6517e08ee4da979acda903224 /missing_d/verify.h
parent53175840c18d19259ec11128bdda64cad71ac8dc (diff)
downloadegawk-f6a89a9b3ecd956e97b61719ea0d634886ace814.tar.gz
egawk-f6a89a9b3ecd956e97b61719ea0d634886ace814.tar.bz2
egawk-f6a89a9b3ecd956e97b61719ea0d634886ace814.zip
Sync files from GNULIB.
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@ */