From ad552d04b49d3c47747a02347d50bc2cf7f2cb3a Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Mon, 28 Oct 2002 17:46:55 +0000
Subject: [PATCH] avoid recursive calls while parsing lists.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@655 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 C/parser.c | 37 +++++++++++++++++++++++--------------
 1 file changed, 23 insertions(+), 14 deletions(-)

diff --git a/C/parser.c b/C/parser.c
index 5e52a341b..709a2bd93 100644
--- a/C/parser.c
+++ b/C/parser.c
@@ -316,31 +316,40 @@ ParseArgs(Atom a)
 static Term
 ParseList(void)
 {
-  Term t, s;
-  t = ParseTerm(999);
+  Term t, s, o;
+  CELL *to_store;
+  o = AbsPair(H);
+ loop:
+  to_store = H;
+  H+=2;
+  to_store[0] = ParseTerm(999);
   if (tokptr->Tok == Ord(Ponctuation_tok)) {
     if (((int) tokptr->TokInfo) == ',') {
       NextToken;
       if (tokptr->Tok == Ord(Name_tok)
 	  && strcmp(RepAtom((Atom)(tokptr->TokInfo))->StrOfAE, "..") == 0) {
 	NextToken;
-	s = ParseTerm(999);
-      } else
-	s = ParseList();
+	to_store[1] = ParseTerm(999);
+      } else {
+	/* check for possible overflow against local stack */
+	if (H > ASP-4096) {
+	  to_store[1] = TermNil;
+	  ErrorMessage = "Stack Overflow";
+	  FAIL;
+	} else {
+	  to_store[1] = AbsPair(H);
+	  goto loop;
+	}
+      }
     } else if (((int) tokptr->TokInfo) == '|') {
       NextToken;
-      s = ParseTerm(999);
-    } else
-      s = MkAtomTerm(AtomNil);
-    t = MkPairTerm(t, s);
-    /* check for possible overflow against local stack */
-    if (H > ASP-4096) {
-      ErrorMessage = "Stack Overflow";
-      FAIL;
+      to_store[1] = ParseTerm(999);
+    } else {
+      to_store[1] = MkAtomTerm(AtomNil);
     }
   } else
     FAIL;
-  return (t);
+  return (o);
 }
 
 #ifndef INFINITY