Merge pull request #3348 from tautschnig/vs-shadow-1

kroening · web-flow · commit ab93ceebbaf2 · 2018-11-11T18:42:00.000Z
Do not shadow "code" local variable [blocks: #2310]
diff --git a/src/analyses/reaching_definitions.cpp b/src/analyses/reaching_definitions.cpp
@@ -222,9 +222,7 @@ void rd_range_domaint::transform_function_call(
   else
   {
     // handle return values of undefined functions
-    const code_function_callt &code=to_code_function_call(from->code);
-
-    if(code.lhs().is_not_nil())
+    if(to_code_function_call(from->code).lhs().is_not_nil())
       transform_assign(ns, from, from, rd);
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -222,9 +222,7 @@ void rd_range_domaint::transform_function_call(`
`222`	`222`	`else`
`223`	`223`	`{`
`224`	`224`	`// handle return values of undefined functions`
`225`		`- const code_function_callt &code=to_code_function_call(from->code);`
`226`		`-`
`227`		`- if(code.lhs().is_not_nil())`
	`225`	`+ if(to_code_function_call(from->code).lhs().is_not_nil())`
`228`	`226`	`transform_assign(ns, from, from, rd);`
`229`	`227`	`}`
`230`	`228`	`}`