Add can_cast_expr for nil_exprt

svorenova · svorenova · commit 5083a3419c59 · 2019-05-09T14:22:20.000+01:00
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -4131,6 +4131,12 @@ class nil_exprt : public nullary_exprt
   }
 };
 
+template <>
+inline bool can_cast_expr<nil_exprt>(const exprt &base)
+{
+  return base.id() == ID_nil;
+}
+
 /// \brief The null pointer constant
 class null_pointer_exprt:public constant_exprt
 {

Original file line number	Diff line number	Diff line change
`@@ -4131,6 +4131,12 @@ class nil_exprt : public nullary_exprt`
`4131`	`4131`	`}`
`4132`	`4132`	`};`
`4133`	`4133`
	`4134`	`+template <>`
	`4135`	`+inline bool can_cast_expr<nil_exprt>(const exprt &base)`
	`4136`	`+{`
	`4137`	`+ return base.id() == ID_nil;`
	`4138`	`+}`
	`4139`	`+`
`4134`	`4140`	`/// \brief The null pointer constant`
`4135`	`4141`	`class null_pointer_exprt:public constant_exprt`
`4136`	`4142`	`{`