[Emacs-diffs] master 074d5cd: * src/eval.c (clobbered_eassert): Check E's syntax.

[Paul Eggert]

branch: master
commit 074d5cd873014d97bf84a993ea711b39368810fe
Author: Paul Eggert <address@hidden>
Commit: Paul Eggert <address@hidden>

    * src/eval.c (clobbered_eassert): Check E's syntax.
---
 src/eval.c |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/eval.c b/src/eval.c
index 884e1eb..bbc1518 100644
--- a/src/eval.c
+++ b/src/eval.c
@@ -1057,11 +1057,11 @@ usage: (catch TAG BODY...)  */)
   return internal_catch (tag, Fprogn, XCDR (args));
 }
 
-/* Assert that E is true, as a comment only.  Use this instead of
+/* Assert that E is true, but do not evaluate E.  Use this instead of
    eassert (E) when E contains variables that might be clobbered by a
    longjmp.  */
 
-#define clobbered_eassert(E) ((void) 0)
+#define clobbered_eassert(E) verify (sizeof (E) != 0)
 
 /* Set up a catch, then call C function FUNC on argument ARG.
    FUNC should return a Lisp_Object.