From 48c8fc07cc35539aa171116d0b77a6a47336b6fe Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Fri, 7 Sep 2018 10:49:53 +0300
Subject: Update misc files from GNULIB.

---
 support/verify.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'support/verify.h')

diff --git a/support/verify.h b/support/verify.h
index bc7f99db..3b57ddee 100644
--- a/support/verify.h
+++ b/support/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@  */
-- 
cgit v1.2.3