Merge pull request #6742 from tautschnig/bugfixes/is_dynamic

kroening · web-flow · commit 868a0356a4bc · 2022-03-22T09:07:43.000Z
can_cast_expr&lt;is_dynamic_object_exprt&gt;: fix copy&amp;paste error
diff --git a/src/util/pointer_expr.h b/src/util/pointer_expr.h
@@ -329,7 +329,7 @@ class is_dynamic_object_exprt : public unary_predicate_exprt
 template <>
 inline bool can_cast_expr<is_dynamic_object_exprt>(const exprt &base)
 {
-  return base.id() == ID_is_invalid_pointer;
+  return base.id() == ID_is_dynamic_object;
 }
 
 inline void validate_expr(const is_dynamic_object_exprt &value)

Original file line number	Diff line number	Diff line change
`@@ -329,7 +329,7 @@ class is_dynamic_object_exprt : public unary_predicate_exprt`
`329`	`329`	`template <>`
`330`	`330`	`inline bool can_cast_expr<is_dynamic_object_exprt>(const exprt &base)`
`331`	`331`	`{`
`332`		`- return base.id() == ID_is_invalid_pointer;`
	`332`	`+ return base.id() == ID_is_dynamic_object;`
`333`	`333`	`}`
`334`	`334`
`335`	`335`	`inline void validate_expr(const is_dynamic_object_exprt &value)`