Changeset a6b3f6 in git

Timestamp:

Jul 19, 2018, 10:17:21 AM (5 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

73ca8f3b53ec9e30cd15da92a0bdbfcb596fd0c7

Parents:

d9cbec291aade84ba63c202a8ea8eacffdca6d60

Message:

opt: factory/variable.cc: prune

File:

• factory/variable.cc (modified) (2 diffs)

factory/variable.cc

@@ -264 +264 @@
   int i, n = strlen( var_names_ext );
   ASSERT (n+1 >= -alpha.level(), "wrong variable");
-  if (-alpha.level() == 1)
+  int last_var=-alpha.level();
+  if (last_var == 1)
   {
     delete [] var_names_ext;
@@ -273 +274 @@
     return;
   }
-  char * newvarnames = new char [-alpha.level() + 1];
-  for ( i = 0; i < -alpha.level(); i++ )
+  char * newvarnames = new char [last_var+1];
+  for ( i = 0; i < last_var; i++ )
     newvarnames[i] = var_names_ext[i];
-  newvarnames[-alpha.level()] = 0;
+  newvarnames[last_var] = 0;
   delete [] var_names_ext;
   var_names_ext = newvarnames;
-  ext_entry * newalgext = new ext_entry [-alpha.level()];
-  for ( i = 0; i < -alpha.level(); i++ )
+  ext_entry * newalgext = new ext_entry [last_var];
+  for ( i = 0; i < last_var; i++ )
     newalgext[i] = algextensions[i];
   delete [] algextensions;