changeset 39498:4b384a2f6639

verify: port 'assume' to traditional tools * lib/verify.h (assume): Port better to Oracle Studio 12.6 and other tools that use /*NOTREACHED*/ comments.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 11 Aug 2018 18:56:40 -0700
parents 376d06f8f917
children 8de383af58db
files ChangeLog lib/verify.h
diffstat 2 files changed, 8 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Sat Aug 11 02:23:48 2018 +0200
+++ b/ChangeLog	Sat Aug 11 18:56:40 2018 -0700
@@ -1,3 +1,9 @@
+2018-08-11  Paul Eggert  <eggert@cs.ucla.edu>
+
+	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  <bruno@clisp.org>
 
 	fnmatch: Fix compilation error in C++ namespace mode on Mac OS X.
--- a/lib/verify.h	Sat Aug 11 02:23:48 2018 +0200
+++ b/lib/verify.h	Sat Aug 11 18:56:40 2018 -0700
@@ -276,7 +276,8 @@
      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@  */