| commit | 5667b92ddf0c830d612344aa20206c9000e931f8 | |
| author | Bruno Haible <bruno@clisp.org> | |
| Tue, 25 Aug 2020 23:45:49 +0000 (26 01:45 +0200) | ||
| committer | Bruno Haible <bruno@clisp.org> | |
| Wed, 26 Aug 2020 00:00:55 +0000 (26 02:00 +0200) | ||
| tree | 4b7aaf1272f058e319d0c797e7e67a8506353ed4 | treesnapshot (tar.gz zip) |
| parent | 2f1017dd0ef438fd12919f858b80b3b9d4fe6d17 | commitdiff |
verify: Avoid warnings when assume(0) is used.
Reported by Mattias Engdegård <mattiase@acm.org> via Paul Eggert in
<https://lists.gnu.org/archive/html/emacs-devel/2020-08/msg00838.html>.
* lib/verify.h (assume): Use __builtin_unreachable if the argument is
the constant 0.
* tests/test-verify.c (f): New function.
(state): New type.
(test_assume_expressions, test_assume_optimization,
test_assume_noreturn): New functions.
Reported by Mattias Engdegård <mattiase@acm.org> via Paul Eggert in
<https://lists.gnu.org/archive/html/emacs-devel/2020-08/msg00838.html>.
* lib/verify.h (assume): Use __builtin_unreachable if the argument is
the constant 0.
* tests/test-verify.c (f): New function.
(state): New type.
(test_assume_expressions, test_assume_optimization,
test_assume_noreturn): New functions.
| ChangeLog | diffblobblamehistory | |
| lib/verify.h | diffblobblamehistory | |
| tests/test-verify.c | diffblobblamehistory |