Data flow: Add stub expectsContent for all languages

This commit is contained in:
Tom Hvitved
2022-04-22 12:17:40 +02:00
parent 6e2e8440eb
commit da72ba46d4
6 changed files with 36 additions and 0 deletions

View File

@@ -160,6 +160,12 @@ predicate clearsContent(Node n, Content c) {
FlowSummaryImpl::Private::Steps::summaryClearsContent(n, c)
}
/**
* Holds if the value that is being tracked is expected to be stored inside content `c`
* at node `n`.
*/
predicate expectsContent(Node n, ContentSet c) { none() }
/**
* Gets a representative (boxed) type for `t` for the purpose of pruning
* possible flow. A single type is used for all numeric types to account for