(noreturn): Report error if does return.

(testcover-reinstrument-clauses): Doc fix.

1 files changed, 6 insertions, 6 deletions

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")))
 
 
 ;;;=========================================================================