Data flow: Sync files

This commit is contained in:
Tom Hvitved
2022-04-22 12:17:22 +02:00
parent a50f18ab50
commit 6e2e8440eb
33 changed files with 1639 additions and 196 deletions

View File

@@ -328,6 +328,9 @@ private module Cached {
cached
predicate clearsContentCached(Node n, ContentSet c) { clearsContent(n, c) }
cached
predicate expectsContentCached(Node n, ContentSet c) { expectsContent(n, c) }
cached
predicate isUnreachableInCallCached(Node n, DataFlowCall call) { isUnreachableInCall(n, call) }