feature/native-comp 9420ea6: Add `throw' to non returning functions

[Andrea Corallo]

branch: feature/native-comp
commit 9420ea6e0840bffcb140d3677dfdabb9251c1f63
Author: Andrea Corallo <akrl@sdf.org>
Commit: Andrea Corallo <akrl@sdf.org>

    Add `throw' to non returning functions
    
        * lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add throw.
---
 lisp/emacs-lisp/comp.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 9fea345..340846b 100644
--- 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.")