From: Richard M. Stallman <rms@gnu.org>
Date: Wed, 6 Aug 2003 01:10:37 +0000 (+0000)
Subject: (noreturn): Report error if does return.
X-Git-Tag: ttn-vms-21-2-B4~9161
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=91cbc31fa9fd6df416f499fc89c4114979c5b12e;p=emacs.git

(noreturn): Report error if does return.
(testcover-reinstrument-clauses): Doc fix.
---

diff --git a/lisp/emacs-lisp/testcover.el b/lisp/emacs-lisp/testcover.el
index d422a42374b..8826a22e237 100644
--- a/lisp/emacs-lisp/testcover.el
+++ b/lisp/emacs-lisp/testcover.el
@@ -334,8 +334,8 @@ always be nil, so we return t for 1-valued."
     result))
 
 (defun testcover-reinstrument-clauses (clauselist)
-  "Reinstruments each list in CLAUSELIST.  Result is t if every
-clause is 1-valued."
+  "Reinstrument each list in CLAUSELIST.
+Result is t if every clause is 1-valued."
   (let ((result t))
     (mapc #'(lambda (x)
 	      (setq result (and (testcover-reinstrument-list x) result)))
@@ -349,13 +349,13 @@ clause is 1-valued."
     (eval-buffer buf t)))
 
 (defmacro 1value (form)
-  "For code-coverage testing, indicate that FORM is expected to always have
-the same value."
+  "For coverage testing, indicate FORM should always have the same value."
   form)
 
 (defmacro noreturn (form)
-  "For code-coverage testing, indicate that FORM will always signal an error."
-  form)
+  "For coverage testing, indicate that FORM will never return."
+  `(prog1 ,form
+     (error "Form marked with `noreturn' did return")))
 
 
 ;;;=========================================================================