From: Akim Demaille <demaille@gostai.com>
Date: Mon, 18 Aug 2008 18:20:09 +0000 (+0200)
Subject: Less memory pressure on the "list" bench.
X-Git-Tag: v2.7.90~1082
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/ce6719605b81aa7b19c6f9615a78a4fd18bfdb42?ds=inline

Less memory pressure on the "list" bench.

	* etc/bench.pl.in (generate_grammar_list): Do not accumulate all
	the values, to limit memory pressure.
---

diff --git a/ChangeLog b/ChangeLog
index b76264cd..811d6fa0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-11-11  Akim Demaille  <demaille@gostai.com>
+
+	Less memory pressure on the "list" bench.
+	* etc/bench.pl.in (generate_grammar_list): Do not accumulate all
+	the values, to limit memory pressure.
+
 2008-11-11  Akim Demaille  <demaille@gostai.com>
 
 	Introduce make_symbol.
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index d058ce19..d365d653 100755
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -634,12 +634,11 @@ result:
 
 text:
   /* nothing */		{ /* This will generate an empty string */ }
-| text TEXT		{ std::swap($$,$1); $$.append($2); }
+| text TEXT		{ std::swap ($$, $2); }
 | text NUMBER		{
-			  std::swap($$,$1);
-                          std::ostringstream ss;
+			  std::ostringstream ss;
 			  ss << ' ' << $2;
-			  $$.append(ss.str());
+			  $$ = ss.str();
 			 }
 ;
 EOF
@@ -663,11 +662,12 @@ result:
 
 text:
   /* nothing */		{ $$ = new std::string; }
-| text TEXT		{ $$->append(*$2); delete $2; }
+| text TEXT		{ delete $1; $$ = $2; }
 | text NUMBER		{
-			  std::ostringstream ss;
+                          delete $1;
+                          std::ostringstream ss;
 			  ss << ' ' << $2;
-			  $$->append(ss.str());
+			  $$ = new std::string (ss.str());
 			 }
 ;
 EOF