[nongnu] externals/caml 6084272 137/197: PR#5176: caml-types.el: large types trigger stack overflow in regexp matcher

[Stefan Monnier]

branch: externals/caml
commit 6084272b5a1f71a954414c3da3f070599860fa95
Author: Damien Doligez <damien.doligez-inria.fr>
Commit: Damien Doligez <damien.doligez-inria.fr>

    PR#5176: caml-types.el: large types trigger stack overflow in regexp matcher
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12119 
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 caml-types.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/caml-types.el b/caml-types.el
index 70d38bc..bc4c82b 100644
--- a/caml-types.el
+++ b/caml-types.el
@@ -411,8 +411,7 @@ See `caml-types-location-re' for annotation file format.
         (unless (caml-types-not-in-file l-file r-file target-file)
           (setq annotation ())
           (while (next-annotation)
-            (cond ((looking-at
-                    "^\\([a-z]+\\)(\n  \\(\\([^\n)]\\|.)\\|\n[^)]\\)*\\)\n)")
+            (cond ((looking-at "^\\([a-z]+\\)(\n  \\(\\(.*\n  \\)*.*\\)\n)")
                    (let ((kind (caml-types-hcons (match-string 1) table))
                          (info (caml-types-hcons (match-string 2) table)))
                      (setq annotation (cons (cons kind info) annotation))))))