Skip to content

Commit a8f249b

Browse files
committed
fix(cfg): Update CFG
1 parent 561e9e0 commit a8f249b

File tree

2 files changed

+6
-10
lines changed

2 files changed

+6
-10
lines changed

ql/lib/codeql/bicep/controlflow/internal/Completion.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
private import codeql.util.Boolean
22
private import codeql.bicep.controlflow.ControlFlowGraph
3-
private import bicep
3+
private import codeql.bicep.ast.AstNodes
44
private import SuccessorType
55

66
newtype TCompletion =

ql/lib/codeql/bicep/controlflow/internal/ControlFlowGraphImpl.qll

Lines changed: 5 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ private module Implementation implements InputSig<Location> {
4747
/** Holds if `first` is first executed when entering `scope`. */
4848
predicate scopeFirst(CfgScope scope, AstNode first) { scope.scopeFirst(first) }
4949

50-
/** Holds if `scope` is exited when `last` finishes with completion `c`. */
50+
/** Holds if `scope` is exited when `last` finishes with completion `c`. */
5151
predicate scopeLast(CfgScope scope, AstNode last, Completion c) { scope.scopeLast(last, c) }
5252

5353
predicate successorTypeIsSimple(SuccessorType t) { t instanceof Cfg::NormalSuccessor }
@@ -67,26 +67,22 @@ import CfgImpl
6767
* A literal value in a Bicep program.
6868
*/
6969
class LiteralTree extends LeafTree instanceof Literals { }
70-
/**
71-
* A Interpolation literal value in a Bicep program.
72-
*/
73-
class InterpolationLiteralTree extends LeafTree instanceof InterpolationLiteral { }
70+
7471
/**
7572
* A Null literal value in a Bicep program.
7673
*/
7774
class NullLiteralTree extends LeafTree instanceof NullLiteral { }
75+
7876
/**
7977
* A NullableReturnType literal value in a Bicep program.
8078
*/
8179
class NullableReturnTypeLiteralTree extends LeafTree instanceof NullableReturnTypeLiteral { }
82-
/**
83-
* A NullableType literal value in a Bicep program.
84-
*/
85-
class NullableTypeLiteralTree extends LeafTree instanceof NullableTypeLiteral { }
80+
8681
/**
8782
* A String literal value in a Bicep program.
8883
*/
8984
class StringLiteralTree extends LeafTree instanceof StringLiteral { }
85+
9086
/**
9187
* A StringContent literal value in a Bicep program.
9288
*/

0 commit comments

Comments
 (0)