Do not shadow local variables in symbol_table test

symbol and symbol_name were redefined and re-used in several ways.

Author: tautschnig

unit/util/symbol_table.cpp

@@ -35,11 +35,11 @@ SCENARIO("journalling_symbol_table_writer",
     const symbol_tablet &read_symbol_table=symbol_table;
 
     irep_idt symbol_name="Test";
-    symbolt symbol;
-    symbol.name=symbol_name;
 
     WHEN("A symbol is inserted into the symbol table")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       auto result=symbol_table.insert(symbol);
       THEN("The insert should succeed")
       {
@@ -68,8 +68,6 @@ SCENARIO("journalling_symbol_table_writer",
       }
       WHEN("Adding the same symbol again")
       {
-        symbolt symbol;
-        symbol.name=symbol_name;
         auto result=symbol_table.insert(symbol);
         THEN("The insert should fail")
         {
@@ -79,6 +77,8 @@ SCENARIO("journalling_symbol_table_writer",
     }
     WHEN("Moving a symbol into the symbol table")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       symbolt *symbol_in_table;
       auto result=symbol_table.move(symbol, symbol_in_table);
       THEN("The move should succeed")
@@ -104,8 +104,6 @@ SCENARIO("journalling_symbol_table_writer",
       }
       WHEN("Moving the same symbol again")
       {
-        symbolt symbol;
-        symbol.name=symbol_name;
         symbolt *symbol_in_table2;
         auto result=symbol_table.move(symbol, symbol_in_table2);
         THEN("The move should fail")
@@ -120,6 +118,8 @@ SCENARIO("journalling_symbol_table_writer",
     }
     WHEN("Adding a symbol to the symbol table")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       auto result=symbol_table.add(symbol);
       THEN("The add should succeed")
       {
@@ -144,8 +144,6 @@ SCENARIO("journalling_symbol_table_writer",
       }
       WHEN("Adding the same symbol again")
       {
-        symbolt symbol;
-        symbol.name=symbol_name;
         auto result=symbol_table.add(symbol);
         THEN("The insert should fail")
         {
@@ -155,6 +153,8 @@ SCENARIO("journalling_symbol_table_writer",
     }
     WHEN("Updating an existing symbol")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       base_symbol_table.add(symbol);
       symbolt *writeable=symbol_table.get_writeable(symbol_name);
 
@@ -183,20 +183,22 @@ SCENARIO("journalling_symbol_table_writer",
     }
     WHEN("Removing a non-existent symbol")
     {
-      irep_idt symbol_name="DoesNotExist";
-      bool ret=symbol_table.remove(symbol_name);
+      irep_idt no_such_symbol_name="DoesNotExist";
+      bool ret=symbol_table.remove(no_such_symbol_name);
       THEN("The remove operation should fail")
       {
         REQUIRE(ret);
       }
       THEN("The symbol we failed to remove should appear in neither journal")
       {
-        REQUIRE(symbol_table.get_updated().count(symbol_name)==0);
-        REQUIRE(symbol_table.get_removed().count(symbol_name)==0);
+        REQUIRE(symbol_table.get_updated().count(no_such_symbol_name) == 0);
+        REQUIRE(symbol_table.get_removed().count(no_such_symbol_name) == 0);
       }
     }
     WHEN("Removing an existing symbol added via the journalling writer")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       symbol_table.add(symbol);
       bool ret=symbol_table.remove(symbol_name);
       THEN("The remove operation should succeed")
@@ -211,6 +213,8 @@ SCENARIO("journalling_symbol_table_writer",
     }
     WHEN("Removing an existing symbol added outside the journalling writer")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       base_symbol_table.add(symbol);
       bool ret=symbol_table.remove(symbol_name);
       THEN("The remove operation should succeed")
@@ -226,6 +230,8 @@ SCENARIO("journalling_symbol_table_writer",
     }
     WHEN("Removing an existing symbol using an iterator (added via writer)")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       symbol_table.add(symbol);
       auto erase_iterator=read_symbol_table.symbols.find(symbol_name);
       symbol_table.erase(erase_iterator);
@@ -237,6 +243,8 @@ SCENARIO("journalling_symbol_table_writer",
     }
     WHEN("Removing an existing symbol using an iterator (added via base)")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       base_symbol_table.add(symbol);
       auto erase_iterator=read_symbol_table.symbols.find(symbol_name);
       symbol_table.erase(erase_iterator);
@@ -248,6 +256,8 @@ SCENARIO("journalling_symbol_table_writer",
     }
     WHEN("Re-adding a symbol previously removed")
     {
+      symbolt symbol;
+      symbol.name=symbol_name;
       auto result=symbol_table.add(symbol);
       symbol_table.remove(symbol.name);
       auto result2=symbol_table.add(symbol);