Avoid crash in linking conflict report by providing correct type for dereference expression

andreast271 · andreast271 · commit 2bcc55a5d606 · 2019-04-12T08:40:20.000+01:00
diff --git a/src/linking/linking.cpp b/src/linking/linking.cpp
@@ -143,7 +143,7 @@ void linkingt::detailed_conflict_report_rec(
     if(depth>0 &&
        !base_type_eq(t1.subtype(), t2.subtype(), ns))
     {
-      conflict_path=dereference_exprt(conflict_path);
+      conflict_path=dereference_exprt(conflict_path, t1.subtype());
 
       detailed_conflict_report_rec(
         old_symbol,

Original file line number	Diff line number	Diff line change
`@@ -143,7 +143,7 @@ void linkingt::detailed_conflict_report_rec(`
`143`	`143`	`if(depth>0 &&`
`144`	`144`	`!base_type_eq(t1.subtype(), t2.subtype(), ns))`
`145`	`145`	`{`
`146`		`- conflict_path=dereference_exprt(conflict_path);`
	`146`	`+ conflict_path=dereference_exprt(conflict_path, t1.subtype());`
`147`	`147`
`148`	`148`	`detailed_conflict_report_rec(`
`149`	`149`	`old_symbol,`