Also check type in can_cast_expr<refined_string_exprt>(expr)

danpoe · danpoe · commit 7b7d526bccef · 2019-07-11T11:44:11.000+01:00
Also check that expr.type() is a refined string type
diff --git a/src/util/string_expr.h b/src/util/string_expr.h
@@ -173,7 +173,8 @@ inline const refined_string_exprt &to_string_expr(const exprt &expr)
 template <>
 inline bool can_cast_expr<refined_string_exprt>(const exprt &base)
 {
-  return base.id() == ID_struct && base.operands().size() == 2;
+  return base.id() == ID_struct && base.operands().size() == 2 &&
+    is_refined_string_type(base.type());
 }
 
 inline void validate_expr(const refined_string_exprt &x)

Original file line number	Diff line number	Diff line change
`@@ -173,7 +173,8 @@ inline const refined_string_exprt &to_string_expr(const exprt &expr)`
`173`	`173`	`template <>`
`174`	`174`	`inline bool can_cast_expr<refined_string_exprt>(const exprt &base)`
`175`	`175`	`{`
`176`		`- return base.id() == ID_struct && base.operands().size() == 2;`
	`176`	`+ return base.id() == ID_struct && base.operands().size() == 2 &&`
	`177`	`+ is_refined_string_type(base.type());`
`177`	`178`	`}`
`178`	`179`
`179`	`180`	`inline void validate_expr(const refined_string_exprt &x)`