Store break/continue targets

2026-04-26 17:25:19 +02:00 · 2021-09-21 15:46:45 +02:00
parent ae7aa30bda
commit aa190f9d65
2 changed files with 41 additions and 4 deletions
--- a/java/ql/lib/config/semmlecode.dbscheme
+++ b/java/ql/lib/config/semmlecode.dbscheme
@@ -1048,3 +1048,14 @@ ktCommentOwner(
  int id: @ktcomment ref,
  int owner: @top ref
 )
+
+@breakcontinuestmt = @breakstmt
+                   | @continuestmt;
+
+@ktloopstmt = @whilestmt
+            | @dostmt;
+
+ktBreakContinueTarget(
+  unique int id: @breakcontinuestmt ref,
+  int target: @ktloopstmt ref
+)