Value-set: compare against real type, not followed type

smowton · Daniel Kroening · commit 00b68732cce6 · 2019-02-13T12:26:21.000Z
diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
@@ -1156,10 +1156,10 @@ void value_sett::assign(
       }
       else
       {
-        if(rhs.type() != type)
+        if(rhs.type() != lhs.type())
           throw "value_sett::assign type mismatch: "
                 "rhs.type():\n"+rhs.type().pretty()+"\n"+
-                "type:\n"+type.pretty();
+                "lhs.type():\n"+lhs.type().pretty();
 
         rhs_member=make_member(rhs, name, ns);
 

Original file line number	Diff line number	Diff line change
`@@ -1156,10 +1156,10 @@ void value_sett::assign(`
`1156`	`1156`	`}`
`1157`	`1157`	`else`
`1158`	`1158`	`{`
`1159`		`- if(rhs.type() != type)`
	`1159`	`+ if(rhs.type() != lhs.type())`
`1160`	`1160`	`throw "value_sett::assign type mismatch: "`
`1161`	`1161`	`"rhs.type():\n"+rhs.type().pretty()+"\n"+`
`1162`		`- "type:\n"+type.pretty();`
	`1162`	`+ "lhs.type():\n"+lhs.type().pretty();`
`1163`	`1163`
`1164`	`1164`	`rhs_member=make_member(rhs, name, ns);`
`1165`	`1165`