Merge pull request #3319 from tautschnig/vs-ns-twice

Daniel Kroening · web-flow · commit b8db0ec744f9 · 2018-11-10T13:23:11.000Z
Do not declare ns twice [blocks: #2310]
diff --git a/src/linking/static_lifetime_init.cpp b/src/linking/static_lifetime_init.cpp
@@ -115,7 +115,6 @@ void static_lifetime_init(
 
     if(symbol.value.is_nil())
     {
-      const namespacet ns(symbol_table);
       const auto zero = zero_initializer(symbol.type, symbol.location, ns);
       CHECK_RETURN(zero.has_value());
       rhs = *zero;

Original file line number	Diff line number	Diff line change
`@@ -115,7 +115,6 @@ void static_lifetime_init(`
`115`	`115`
`116`	`116`	`if(symbol.value.is_nil())`
`117`	`117`	`{`
`118`		`- const namespacet ns(symbol_table);`
`119`	`118`	`const auto zero = zero_initializer(symbol.type, symbol.location, ns);`
`120`	`119`	`CHECK_RETURN(zero.has_value());`
`121`	`120`	`rhs = *zero;`