Merge pull request #3343 from tautschnig/vs-value

Daniel Kroening · web-flow · commit 50ee9f5b2766 · 2018-11-10T18:51:59.000Z
Do not repeatedly define "value" [blocks: #2310]
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -1968,8 +1968,6 @@ std::string expr2ct::convert_constant(
   }
   else if(type.id()==ID_pointer)
   {
-    const irep_idt &value=to_constant_expr(src).get_value();
-
     if(value==ID_NULL)
     {
       dest="NULL";

Original file line number	Diff line number	Diff line change
`@@ -1968,8 +1968,6 @@ std::string expr2ct::convert_constant(`
`1968`	`1968`	`}`
`1969`	`1969`	`else if(type.id()==ID_pointer)`
`1970`	`1970`	`{`
`1971`		`- const irep_idt &value=to_constant_expr(src).get_value();`
`1972`		`-`
`1973`	`1971`	`if(value==ID_NULL)`
`1974`	`1972`	`{`
`1975`	`1973`	`dest="NULL";`