Add `throw' to non returning functions

	* lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add throw.

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 9fea3451359025434a1faae1dc11ce1754470501..340846bf70a7b33bd55f4d539c2560f908df2714 100644 (file)
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -2,7 +2,7 @@
 
 ;; Author: Andrea Corallo <akrl@sdf.com>
 
-;; Copyright (C) 2019-2020 Free Software Foundation, Inc.
+;; Copyright (C) 2019-2021 Free Software Foundation, Inc.
 
 ;; Keywords: lisp
 ;; Package: emacs
@@ -485,6 +485,7 @@ Useful to hook into pass checkers.")
     (comp-hint-fixnum (function (t) fixnum))
     (comp-hint-cons (function (t) cons))
     ;; Non returning functions
+    (throw (function (t t) nil))
     (error (function (string &rest t) nil))
     (signal (function (symbol t) nil)))
   "Alist used for type propagation.")