C#: Address review comments.

Author: michaelnebel

csharp/ql/consistency-queries/DataFlowConsistency.ql

@@ -35,7 +35,7 @@ private class MyConsistencyConfiguration extends ConsistencyConfiguration {
   override predicate argHasPostUpdateExclude(ArgumentNode n) {
     n instanceof SummaryNode
     or
-    not exists(getAPostUpdateNodeForArg(n.asExpr()))
+    not exists(LocalFlow::getAPostUpdateNodeForArg(n.asExpr()))
     or
     n instanceof ImplicitCapturedArgumentNode
     or
@@ -46,15 +46,15 @@ private class MyConsistencyConfiguration extends ConsistencyConfiguration {
 
   override predicate postHasUniquePreExclude(PostUpdateNode n) {
     exists(ControlFlow::Nodes::ExprNode e, ControlFlow::Nodes::ExprNode arg |
-      e = getAPostUpdateNodeForArg(arg.getExpr()) and
+      e = LocalFlow::getAPostUpdateNodeForArg(arg.getExpr()) and
       e != arg and
       n = TExprPostUpdateNode(e)
     )
   }
 
   override predicate uniquePostUpdateExclude(Node n) {
     exists(ControlFlow::Nodes::ExprNode e, ControlFlow::Nodes::ExprNode arg |
-      e = getAPostUpdateNodeForArg(arg.getExpr()) and
+      e = LocalFlow::getAPostUpdateNodeForArg(arg.getExpr()) and
       e != arg and
       n.asExpr() = arg.getExpr()
     )

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

@@ -177,32 +177,6 @@ predicate hasNodePath(ControlFlowReachabilityConfiguration conf, ExprNode n1, No
   )
 }
 
-/**
- * Gets a node that may execute last in `n`, and which, when it executes last,
- * will be the value of `n`.
- */
-private ControlFlow::Nodes::ExprNode getALastEvalNode(ControlFlow::Nodes::ExprNode cfn) {
-  exists(ConditionalExpr e | cfn.getExpr() = e | result.getExpr() = [e.getThen(), e.getElse()])
-}
-
-private predicate relevantArgumentType(ControlFlow::Nodes::ExprNode cfn) {
-  exists(Expr e | cfn.getExpr() = e |
-    exists(Type t | t = e.stripCasts().getType() |
-      t instanceof RefType and
-      not t instanceof NullType
-      or
-      t = any(TypeParameter tp | not tp.isValueType())
-    )
-  )
-}
-
-/** Gets a node for which to construct a post-update node for argument `arg`. */
-ControlFlow::Nodes::ExprNode getAPostUpdateNodeForArg(Argument arg) {
-  result = getALastEvalNode*(arg.getAControlFlowNode()) and
-  relevantArgumentType(result) and
-  not exists(getALastEvalNode(result))
-}
-
 /** Provides predicates related to local data flow. */
 module LocalFlow {
   private class LocalExprStepConfiguration extends ControlFlowReachabilityConfiguration {
@@ -436,6 +410,28 @@ module LocalFlow {
     n instanceof SummaryNode or
     n instanceof ImplicitCapturedArgumentNode
   }
+
+  /**
+   * Gets a node that may execute last in `n`, and which, when it executes last,
+   * will be the value of `n`.
+   */
+  private ControlFlow::Nodes::ExprNode getALastEvalNode(ControlFlow::Nodes::ExprNode cfn) {
+    any(LocalExprStepConfiguration x).hasExprPath(_, result, any(ConditionalExpr ce), cfn)
+  }
+
+  /** Gets a node for which to construct a post-update node for argument `arg`. */
+  ControlFlow::Nodes::ExprNode getAPostUpdateNodeForArg(Argument arg) {
+    result = getALastEvalNode*(arg.getAControlFlowNode()) and
+    exists(Expr e | result.getExpr() = e |
+      exists(Type t | t = e.stripCasts().getType() |
+        t instanceof RefType and
+        not t instanceof NullType
+        or
+        t = any(TypeParameter tp | not tp.isValueType())
+      )
+    ) and
+    not exists(getALastEvalNode(result))
+  }
 }
 
 /**
@@ -745,7 +741,7 @@ private module Cached {
       cfn.getElement().(ObjectCreation).hasInitializer()
     } or
     TExprPostUpdateNode(ControlFlow::Nodes::ExprNode cfn) {
-      cfn = getAPostUpdateNodeForArg(_)
+      cfn = LocalFlow::getAPostUpdateNodeForArg(_)
       or
       exists(Expr e | e = cfn.getExpr() |
         fieldOrPropertyStore(_, _, _, e, true)
@@ -1943,14 +1939,14 @@ private module PostUpdateNodes {
     ExprPostUpdateNode() { this = TExprPostUpdateNode(cfn) }
 
     override ExprNode getPreUpdateNode() {
-      // For compund arguments, such as `m(if b then x else y)`, we want the leaf nodes
+      // For compund arguments, such as `m(b ? x : y)`, we want the leaf nodes
       // `[post] x` and `[post] y` to have two pre-update nodes: (1) the compund argument,
       // `if b then x else y`; and the (2) the underlying expressions; `x` and `y`,
       // respectively.
       //
       // This ensures that we get flow out of the call into both leafs (1), while still
       // maintaining the invariant that the underlying expression is a pre-update node (2).
-      cfn = getAPostUpdateNodeForArg(result.asExpr())
+      cfn = LocalFlow::getAPostUpdateNodeForArg(result.asExpr())
       or
       cfn = result.getControlFlowNode()
     }