break

rust/ql/lib/codeql/rust/controlflow/CfgNodes.qll

@@ -93,3 +93,40 @@ final class BlockExprCfgNode extends Nodes::BlockExprCfgNode {
    */
   ExprCfgNode getTailExpr() { node.hasCfgChild(node.getStmtList().getTailExpr(), this, result) }
 }
+
+/**
+ * A break expression. For example:
+ * ```rust
+ * loop {
+ *     if not_ready() {
+ *         break;
+ *      }
+ * }
+ * ```
+ * ```rust
+ * let x = 'label: loop {
+ *     if done() {
+ *         break 'label 42;
+ *     }
+ * };
+ * ```
+ * ```rust
+ * let x = 'label: {
+ *     if exit() {
+ *         break 'label 42;
+ *     }
+ *     0;
+ * };
+ * ```
+ */
+final class BreakExprCfgNode extends Nodes::BreakExprCfgNode {
+  /**
+   * Gets the target of this `break` expression.
+   *
+   * The target is either a `LoopExpr`, a `ForExpr`, a `WhileExpr`, or a
+   * `BlockExpr`.
+   */
+  ExprCfgNode getTarget() {
+    any(BreakExprTargetChildMapping node).hasCfgChild(this.getBreakExpr(), result, this)
+  }
+}

rust/ql/lib/codeql/rust/controlflow/internal/CfgNodes.qll

@@ -57,6 +57,10 @@ class BlockExprChildMapping extends ChildMapping, BlockExpr {
   override predicate relevantChild(AstNode child) { child = this.getStmtList().getTailExpr() }
 }
 
+class BreakExprTargetChildMapping extends ChildMapping, Expr {
+  override predicate relevantChild(AstNode child) { child.(BreakExpr).getTarget() = this }
+}
+
 private class ChildMappingImpl extends ChildMapping {
   ChildMappingImpl() { exists(this) }