Rust: "control-flow" -> "control flow"

misc/codegen/templates/ql_cfg_nodes.mustache

@@ -57,8 +57,8 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
     }
 
     /**
-     * Holds if there is a control-flow path from `cfn` to `cfnChild`, where `cfn`
-     * is a control-flow node for this AST node, and `cfnChild` is a control-flow
+     * Holds if there is a control flow path from `cfn` to `cfnChild`, where `cfn`
+     * is a control flow node for this AST node, and `cfnChild` is a control flow
      * node for `child`.
      *
      * This predicate should be implemented at the place where `MakeCfgNodes` is

rust/ql/.generated.list

@@ -1,4 +1,4 @@
-lib/codeql/rust/controlflow/internal/generated/CfgNodes.qll 438e0b2d6e2dd5f137c1d5791c2f9bc97876acacadc09d56876567c8e6b197ce 8b967df7a91ec767faa2daf142db3bb0e276270789f81d1d887db9fcfd05ad88
+lib/codeql/rust/controlflow/internal/generated/CfgNodes.qll e7bcae1016e1853d46d9c91dc5f9b81e81d207fdf91fdaa6eadb3bf185879674 541d386db1f0b662d0cbe1aface1bc6e4b1bc484d1230b95523f35ca63c08875
 lib/codeql/rust/elements/Abi.qll 4c973d28b6d628f5959d1f1cc793704572fd0acaae9a97dfce82ff9d73f73476 250f68350180af080f904cd34cb2af481c5c688dc93edf7365fd0ae99855e893
 lib/codeql/rust/elements/ArgList.qll 661f5100f5d3ef8351452d9058b663a2a5c720eea8cf11bedd628969741486a2 28e424aac01a90fb58cd6f9f83c7e4cf379eea39e636bc0ba07efc818be71c71
 lib/codeql/rust/elements/ArrayExpr.qll a3e6e122632f4011644ec31b37f88b32fe3f2b7e388e7e878a6883309937049f 12ccb5873d95c433da5606fd371d182ef2f71b78d0c53c2d6dec10fa45852bdc

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

@@ -19,7 +19,7 @@ private module CfgInput implements InputSig<Location> {
 
   predicate completionIsValidFor = C::completionIsValidFor/2;
 
-  /** An AST node with an associated control-flow graph. */
+  /** An AST node with an associated control flow graph. */
   class CfgScope = Scope::CfgScope;
 
   CfgScope getCfgScope(AstNode n) {

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

@@ -4,7 +4,7 @@ private import ControlFlowGraphImpl
 private import codeql.rust.elements.internal.generated.ParentChild
 
 /**
- * A control-flow graph (CFG) scope.
+ * A control flow graph (CFG) scope.
  */
 abstract private class CfgScopeImpl extends AstNode {
   /** Holds if `first` is executed first when entering `scope`. */

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

@@ -57,8 +57,8 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
     }
 
     /**
-     * Holds if there is a control-flow path from `cfn` to `cfnChild`, where `cfn`
-     * is a control-flow node for this AST node, and `cfnChild` is a control-flow
+     * Holds if there is a control flow path from `cfn` to `cfnChild`, where `cfn`
+     * is a control flow node for this AST node, and `cfnChild` is a control flow
      * node for `child`.
      *
      * This predicate should be implemented at the place where `MakeCfgNodes` is

rust/ql/lib/codeql/rust/dataflow/Ssa.qll

@@ -27,7 +27,7 @@ module Ssa {
     }
 
     /**
-     * Gets a control-flow node that reads the value of this SSA definition.
+     * Gets a control flow node that reads the value of this SSA definition.
      *
      * Example:
      *
@@ -54,7 +54,7 @@ module Ssa {
     final CfgNode getARead() { result = SsaImpl::getARead(this) }
 
     /**
-     * Gets a first control-flow node that reads the value of this SSA definition.
+     * Gets a first control flow node that reads the value of this SSA definition.
      * That is, a read that can be reached from this definition without passing
      * through other reads.
      *
@@ -83,7 +83,7 @@ module Ssa {
     final CfgNode getAFirstRead() { SsaImpl::firstRead(this, result) }
 
     /**
-     * Gets a last control-flow node that reads the value of this SSA definition.
+     * Gets a last control flow node that reads the value of this SSA definition.
      * That is, a read that can reach the end of the enclosing CFG scope, or another
      * SSA definition for the source variable, without passing through any other read.
      *

rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

@@ -128,7 +128,7 @@ module Node {
    * A node in the data flow graph that corresponds to an expression in the
    * AST.
    *
-   * Note that because of control-flow splitting, one `Expr` may correspond
+   * Note that because of control flow splitting, one `Expr` may correspond
    * to multiple `ExprNode`s, just like it may correspond to multiple
    * `ControlFlow::Node`s.
    */

rust/ql/lib/codeql/rust/elements/internal/AstNodeImpl.qll

@@ -65,9 +65,9 @@ module Impl {
     }
 
     /**
-     * Gets a control-flow node for this AST node, if any.
+     * Gets a control flow node for this AST node, if any.
      *
-     * Note that because of _control-flow splitting_, one `AstNode` node may correspond
+     * Note that because of _control flow splitting_, one `AstNode` node may correspond
      * to multiple `CfgNode`s. Example:
      *
      * ```rust