Merge pull request #4101 from tautschnig/deprecation-symbol_exprt

tautschnig · web-flow · commit f9c0f33c980d · 2019-02-05T20:58:49.000Z
Avoid deprecated symbol_exprt default construction in unit test [blocks: #3768]
diff --git a/unit/util/expr_cast/expr_cast.cpp b/unit/util/expr_cast/expr_cast.cpp
@@ -106,7 +106,7 @@ SCENARIO("expr_dynamic_cast",
   }
   GIVEN("An exprt value upcast from a symbolt")
   {
-    exprt expr = symbol_exprt{};
+    exprt expr = symbol_exprt::typeless(irep_idt());
 
     THEN(
       "Trying casting from an exprt lvalue to a symbol_exprt should yield a "

Original file line number	Diff line number	Diff line change
`@@ -106,7 +106,7 @@ SCENARIO("expr_dynamic_cast",`
`106`	`106`	`}`
`107`	`107`	`GIVEN("An exprt value upcast from a symbolt")`
`108`	`108`	`{`
`109`		`- exprt expr = symbol_exprt{};`
	`109`	`+ exprt expr = symbol_exprt::typeless(irep_idt());`
`110`	`110`
`111`	`111`	`THEN(`
`112`	`112`	`"Trying casting from an exprt lvalue to a symbol_exprt should yield a "`