Do not unnecessarily shadow "tk"

tautschnig · tautschnig · commit 2d87022e3e74 · 2018-11-14T18:52:42.000Z
We overwrite the token every time and don't actually read it afterwards, so we
can safely use a single local variable.
diff --git a/src/cpp/parse.cpp b/src/cpp/parse.cpp
@@ -4169,7 +4169,6 @@ bool Parser::rInitializeExpr(exprt &expr)
        t==TOK_MSC_IF_NOT_EXISTS)
     {
       // TODO
-      cpp_tokent tk;
       exprt name;
       lex.get_token(tk);
       if(lex.get_token(tk)!='(')
@@ -4467,7 +4466,6 @@ bool Parser::rClassSpec(typet &spec)
 
     if(lex.LookAhead(0)==TOK_GCC_ATTRIBUTE)
     {
-      cpp_tokent tk;
       lex.get_token(tk);
 
       if(!rAttribute(spec))

Original file line number	Diff line number	Diff line change
`@@ -4169,7 +4169,6 @@ bool Parser::rInitializeExpr(exprt &expr)`
`4169`	`4169`	`t==TOK_MSC_IF_NOT_EXISTS)`
`4170`	`4170`	`{`
`4171`	`4171`	`// TODO`
`4172`		`- cpp_tokent tk;`
`4173`	`4172`	`exprt name;`
`4174`	`4173`	`lex.get_token(tk);`
`4175`	`4174`	`if(lex.get_token(tk)!='(')`
`@@ -4467,7 +4466,6 @@ bool Parser::rClassSpec(typet &spec)`
`4467`	`4466`
`4468`	`4467`	`if(lex.LookAhead(0)==TOK_GCC_ATTRIBUTE)`
`4469`	`4468`	`{`
`4470`		`- cpp_tokent tk;`
`4471`	`4469`	`lex.get_token(tk);`
`4472`	`4470`
`4473`	`4471`	`if(!rAttribute(spec))`