* src/eval.c (clobbered_eassert): Check E's syntax.

diff --git a/src/eval.c b/src/eval.c
index 884e1ebfb89d1f11db8c4ec55f6161cd3759d3e8..bbc1518be54e67585a374916538805715d97e093 100644 (file)
--- 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.