@@ -257,7 +257,7 @@ predicate invocationMatchesExtraCallSiteFilter(API::InvokeNode invoke, AccessPat
257
257
pragma [ nomagic]
258
258
private predicate relevantInputOutputPath ( API:: InvokeNode base , AccessPath inputOrOutput ) {
259
259
exists ( string type , string input , string output , string path |
260
- ModelOutput:: relevantSummaryModel ( type , path , input , output , _) and
260
+ ModelOutput:: relevantSummaryModel ( type , path , input , output , _, _ ) and
261
261
ModelOutput:: resolvedSummaryBase ( type , path , base ) and
262
262
inputOrOutput = [ input , output ]
263
263
)
@@ -289,7 +289,7 @@ private API::Node getNodeFromInputOutputPath(API::InvokeNode baseNode, AccessPat
289
289
*/
290
290
predicate summaryStep ( API:: Node pred , API:: Node succ , string kind ) {
291
291
exists ( string type , string path , API:: InvokeNode base , AccessPath input , AccessPath output |
292
- ModelOutput:: relevantSummaryModel ( type , path , input , output , kind ) and
292
+ ModelOutput:: relevantSummaryModel ( type , path , input , output , kind , _ ) and
293
293
ModelOutput:: resolvedSummaryBase ( type , path , base ) and
294
294
pred = getNodeFromInputOutputPath ( base , input ) and
295
295
succ = getNodeFromInputOutputPath ( base , output )
0 commit comments