Sync FlowSummaryImpl.qll

Done using sync-files.py
This commit is contained in:
Owen Mansel-Chan
2022-01-12 16:23:44 +00:00
parent 83a25698bb
commit 2de6340ff5
2 changed files with 8 additions and 4 deletions

View File

@@ -921,13 +921,15 @@ module Private {
private predicate inputNeedsReference(string c) {
c = "Argument" or
parseArg(c, _)
parseArg(c, _) or
inputNeedsReferenceSpecific(c)
}
private predicate outputNeedsReference(string c) {
c = "Argument" or
parseArg(c, _) or
c = "ReturnValue"
c = "ReturnValue" or
outputNeedsReferenceSpecific(c)
}
private predicate sourceElementRef(InterpretNode ref, string output, string kind) {