Dataflow: Add dummy DataFlowSecondLevelScope implementations.

These could be an empty type, but Unit was available and it probably
doesn't matter.
This commit is contained in:
Anders Schack-Mulligen
2024-03-05 14:08:57 +01:00
parent db6d27bd2b
commit 2f0987e980
7 changed files with 14 additions and 0 deletions

View File

@@ -581,6 +581,8 @@ predicate knownSourceModel(Node source, string model) { sourceNode(source, _, mo
predicate knownSinkModel(Node sink, string model) { sinkNode(sink, _, model) }
class DataFlowSecondLevelScope = Unit;
/**
* Holds if flow is allowed to pass from parameter `p` and back to itself as a
* side-effect, resulting in a summary from `p` to itself.