We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c18c35d commit dd25b3eCopy full SHA for dd25b3e
rust/ql/lib/codeql/rust/controlflow/internal/Scope.qll
@@ -4,8 +4,10 @@ private import ControlFlowGraphImpl
4
private import codeql.rust.internal.generated.ParentChild
5
6
abstract class CfgScope extends AstNode {
7
+ /** Holds if `first` is executed first when entering scope. */
8
abstract predicate scopeFirst(AstNode first);
9
10
+ /** Holds if scope is exited when `last` finishes with completion `c`. */
11
abstract predicate scopeLast(AstNode last, Completion c);
12
}
13
0 commit comments