X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=lib%2Fverify.h;h=3b57ddee0acffd23cc51bc8910a15cf879f90619;hb=dc02bf0d39a3ae0d90d9b7b0feb32c2cc7cdff86;hp=bc7f99dbd739a2ec6d4ecd85abf7af8eddf3fd92;hpb=a8a88eddaa90432e6ec1b8d9d5c9842bc91afd1d;p=debian%2Fgzip

diff --git a/lib/verify.h b/lib/verify.h
index bc7f99d..3b57dde 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@  */