* lib/verify.h (assume): Port better to Oracle Studio 12.6
and other tools that use /*NOTREACHED*/ comments.
+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.
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@ */