Skip to content

Commit cc8f05a

Browse files
author
thk123
committed
Reduce type equality check within symex
Once all the cases are fixed, this can be returned to a regular equality
1 parent 279c72b commit cc8f05a

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/goto-symex/symex_assign.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,8 @@ void goto_symext::symex_assign(
2929
exprt rhs=code.rhs();
3030

3131
DATA_INVARIANT(
32-
lhs.type() == rhs.type(), "assignments must be type consistent");
32+
base_type_eq(lhs.type(), rhs.type(), ns),
33+
"assignments must be type consistent");
3334

3435
clean_expr(lhs, state, true);
3536
clean_expr(rhs, state, false);

0 commit comments

Comments
 (0)