Merge pull request #3660 from diffblue/assignment-type-equality

Daniel Kroening · web-flow · commit dac8c7bced5b · 2019-01-03T17:26:47.000Z
strengthen assignment type consistency
diff --git a/src/util/std_code.h b/src/util/std_code.h
@@ -303,7 +303,7 @@ class code_assignt:public codet
 
     DATA_CHECK(
       vm,
-      base_type_eq(code.op0().type(), code.op1().type(), ns),
+      code.op0().type() == code.op1().type(),
       "lhs and rhs of assignment must have same type");
   }
 

Original file line number	Diff line number	Diff line change
`@@ -303,7 +303,7 @@ class code_assignt:public codet`
`303`	`303`
`304`	`304`	`DATA_CHECK(`
`305`	`305`	`vm,`
`306`		`- base_type_eq(code.op0().type(), code.op1().type(), ns),`
	`306`	`+ code.op0().type() == code.op1().type(),`
`307`	`307`	`"lhs and rhs of assignment must have same type");`
`308`	`308`	`}`
`309`	`309`