Generalize an over-constrained generic parameter

This fixes WALA bug #151, which was first introduced in commit fde6534.
This commit is contained in:
Ben Liblit 2017-03-22 14:13:53 -05:00
parent 64f7751a00
commit 2a33cb3649
1 changed files with 2 additions and 2 deletions

View File

@ -48,7 +48,7 @@ public class FILiveObjectAnalysis implements ILiveObjectAnalysis {
/**
* Graph view of pointer analysis results
*/
private final HeapGraph<InstanceKey> heapGraph;
private final HeapGraph<? super InstanceKey> heapGraph;
/**
* Cached map from InstanceKey -> Set<CGNode>
@ -68,7 +68,7 @@ public class FILiveObjectAnalysis implements ILiveObjectAnalysis {
/**
*
*/
public FILiveObjectAnalysis(CallGraph callGraph, HeapGraph<InstanceKey> heapGraph, boolean expensiveIntraproceduralAnalysis) {
public FILiveObjectAnalysis(CallGraph callGraph, HeapGraph<? super InstanceKey> heapGraph, boolean expensiveIntraproceduralAnalysis) {
super();
this.callGraph = callGraph;
this.heapGraph = heapGraph;