# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1060132237 0
# Node ID ab0708d3bb41dcfdd42a72412b38973d83087291
# Parent  d26709514a2758e122c3b2b2da0f6efa692e399e
(noreturn): Report error if does return.
(testcover-reinstrument-clauses): Doc fix.

diff -r d26709514a27 -r ab0708d3bb41 lisp/emacs-lisp/testcover.el
--- a/lisp/emacs-lisp/testcover.el	Wed Aug 06 01:09:33 2003 +0000
+++ b/lisp/emacs-lisp/testcover.el	Wed Aug 06 01:10:37 2003 +0000
@@ -334,8 +334,8 @@
     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 @@
     (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")))
 
 
 ;;;=========================================================================