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.
2 parents 04c7319 + 0c9a289 commit 1398575Copy full SHA for 1398575
rust/ql/lib/codeql/rust/controlflow/internal/SuccessorType.qll
@@ -2,14 +2,6 @@ private import rust
2
private import codeql.util.Boolean
3
private import Completion
4
5
-newtype TLoopJumpType =
6
- TContinueJump() or
7
- TBreakJump()
8
-
9
-newtype TLabelType =
10
- TLabel(string s) { any(Label l).getLifetime().getText() = s } or
11
- TNoLabel()
12
13
cached
14
newtype TSuccessorType =
15
TSuccessorSuccessor() or
0 commit comments