verify: Make assume work on bit field expressions (regr. 2020-08-22).
commitf3808e88c188193d0011b4cdce3441719ac16d83
authorBruno Haible <bruno@clisp.org>
Sun, 23 Aug 2020 14:24:55 +0000 (23 16:24 +0200)
committerBruno Haible <bruno@clisp.org>
Sun, 23 Aug 2020 14:24:55 +0000 (23 16:24 +0200)
tree455f588743d11e57805a93b14c089c7b7112d053
parentc969e86c0ed03b9d1b3b2be3fd4453f552383026
verify: Make assume work on bit field expressions (regr. 2020-08-22).

Reported by Benno Schulenberg <bensberg@telfort.nl> in
<https://lists.gnu.org/archive/html/bug-gnulib/2020-08/msg00202.html>.

* lib/verify.h (assume): Use '_Bool' or 'bool' as type of the temporary
variable.
ChangeLog
lib/verify.h