pure-lang-svn

[pure-lang-svn] SF.net SVN: pure-lang: [70] pure/trunk/parser.yy

[<ag...@us...>]

Revision: 70
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=70&view=rev
Author:   agraef
Date:     2008-05-10 12:34:15 -0700 (Sat, 10 May 2008)

Log Message:
-----------
Plug a bigint-related memory leak in the parser.

Modified Paths:
--------------
    pure/trunk/parser.yy

Modified: pure/trunk/parser.yy
===================================================================
--- pure/trunk/parser.yy	2008-05-10 18:25:45 UTC (rev 69)
+++ pure/trunk/parser.yy	2008-05-10 19:34:15 UTC (rev 70)
@@ -235,7 +235,8 @@
   comp_clauses comp_clause_list args qual rules rulel rule pat_rules pat_rulel
   simple_rules simple_rulel simple_rule ids names name
   optalias opt_ctypes ctypes ctype
-%destructor { free($$); } BIGINT STR
+%destructor { mpz_clear(*$$); free($$); } BIGINT
+%destructor { free($$); } STR
 %printer { debug_stream() << *$$; } ID name optalias ctype expr cond simple app
   prim op args qual rule pat_rules pat_rulel simple_rules simple_rulel
   simple_rule
@@ -490,7 +491,7 @@
 			    $$ = interp.mksym_expr($1);
 			  } }
 | INT			{ $$ = new expr(EXPR::INT, $1); }
-| BIGINT		{ $$ = new expr(EXPR::BIGINT, *$1); delete $1; }
+| BIGINT		{ $$ = new expr(EXPR::BIGINT, *$1); free($1); }
 | DBL			{ $$ = new expr(EXPR::DBL, $1); }
 | STR			{ $$ = new expr(EXPR::STR, $1); }
 | '[' expr ']'		{ $$ = interp.mklist_expr($2); }


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[pure-lang-svn] SF.net SVN: pure-lang: [257] pure/trunk/parser.yy

[<ag...@us...>]

Revision: 257
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=257&view=rev
Author:   agraef
Date:     2008-06-18 08:43:29 -0700 (Wed, 18 Jun 2008)

Log Message:
-----------
Bugfix: Handle execeptions in default_lhs().

Modified Paths:
--------------
    pure/trunk/parser.yy

Modified: pure/trunk/parser.yy
===================================================================
--- pure/trunk/parser.yy	2008-06-18 08:53:21 UTC (rev 256)
+++ pure/trunk/parser.yy	2008-06-18 15:43:29 UTC (rev 257)
@@ -275,8 +275,9 @@
 | LET simple_rule
 { action(interp.define($2), delete $2); }
 | rule
-{ rulel *rl = interp.default_lhs(interp.last, $1);
-  action(interp.add_rules(interp.globenv, rl, true), delete rl); }
+{ rulel *rl = 0;
+  action(interp.add_rules(interp.globenv,
+  (rl = interp.default_lhs(interp.last, $1)), true), if (rl) delete rl); }
 | fixity
 /* Lexical tie-in: We need to tell the lexer that we're defining new operator
    symbols (interp.declare_op = true) instead of searching for existing ones
@@ -577,14 +578,20 @@
 rulel
 : rule
 { $$ = new rule_info;
-  rulel *rl = interp.default_lhs($$->l, $1);
-  try { interp.add_rules($$->e, rl); }
-  catch (err &e) { delete rl; interp.error(yyloc, e.what()); } }
+  rulel *rl = 0;
+  try {
+    rl = interp.default_lhs($$->l, $1);
+    interp.add_rules($$->e, rl);
+  }
+  catch (err &e) { if (rl) delete rl; interp.error(yyloc, e.what()); } }
 | rulel ';' rule
 { $$ = $1;
-  rulel *rl = interp.default_lhs($$->l, $3);
-  try { interp.add_rules($$->e, rl); }
-  catch (err &e) { delete rl; interp.error(yyloc, e.what()); } }
+  rulel *rl = 0;
+  try {
+    rl = interp.default_lhs($$->l, $3);
+    interp.add_rules($$->e, rl);
+  }
+  catch (err &e) { if (rl) delete rl; interp.error(yyloc, e.what()); } }
 ;
 
 /* Same for pattern rules (pattern binding in 'case' clauses). */
@@ -597,14 +604,20 @@
 pat_rulel
 : rule
 { $$ = new pat_rule_info;
-  rulel *rl = interp.default_lhs($$->l, $1);
-  try { interp.add_rules($$->rl, rl, true); }
-  catch (err &e) { delete rl; interp.error(yyloc, e.what()); } }
+  rulel *rl = 0;
+  try {
+    rl = interp.default_lhs($$->l, $1);
+    interp.add_rules($$->rl, rl, true);
+  }
+  catch (err &e) { if (rl) delete rl; interp.error(yyloc, e.what()); } }
 | pat_rulel ';' rule
 { $$ = $1;
-  rulel *rl = interp.default_lhs($$->l, $3);
-  try { interp.add_rules($$->rl, rl, true); }
-  catch (err &e) { delete rl; interp.error(yyloc, e.what()); } }
+  rulel *rl = 0;
+  try {
+    rl = interp.default_lhs($$->l, $3);
+    interp.add_rules($$->rl, rl, true);
+  }
+  catch (err &e) { if (rl) delete rl; interp.error(yyloc, e.what()); } }
 ;
 
 /* Same for simple rules (pattern binding in 'when' clauses, no guards). */


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.