[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] verify: port 'assume' to traditional tools
From: |
Paul Eggert |
Subject: |
[PATCH] verify: port 'assume' to traditional tools |
Date: |
Sat, 11 Aug 2018 18:57:53 -0700 |
* lib/verify.h (assume): Port better to Oracle Studio 12.6
and other tools that use /*NOTREACHED*/ comments.
---
ChangeLog | 6 ++++++
lib/verify.h | 3 ++-
2 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 404af4f13..6418dae91 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2018-08-11 Paul Eggert <address@hidden>
+
+ verify: port 'assume' to traditonal tools
+ * lib/verify.h (assume): Port better to Oracle Studio 12.6
+ and other tools that use /*NOTREACHED*/ comments.
+
2018-08-10 Bruno Haible <address@hidden>
fnmatch: Fix compilation error in C++ namespace mode on Mac OS X.
diff --git a/lib/verify.h b/lib/verify.h
index bc7f99dbd..3b57ddee0 100644
--- a/lib/verify.h
+++ b/lib/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@ */
--
2.17.1
- [PATCH] verify: port 'assume' to traditional tools,
Paul Eggert <=