C++: Remove some remnants of the extractor CFG

Author: igfoo

cpp/ql/src/semmle/code/cpp/controlflow/ControlFlowGraph.qll

@@ -65,7 +65,7 @@ class ControlFlowNode extends Locatable, ControlFlowNodeBase {
    * taken when this expression is true.
    */
   ControlFlowNode getATrueSuccessor() {
-    truecond_base(this, result) and
+    qlCFGTrueSuccessor(this, result) and
     result = getASuccessor()
   }
 
@@ -74,7 +74,7 @@ class ControlFlowNode extends Locatable, ControlFlowNodeBase {
    * taken when this expression is false.
    */
   ControlFlowNode getAFalseSuccessor() {
-    falsecond_base(this, result) and
+    qlCFGFalseSuccessor(this, result) and
     result = getASuccessor()
   }
 
@@ -94,22 +94,6 @@ import ControlFlowGraphPublic
  */
 class ControlFlowNodeBase extends ElementBase, @cfgnode { }
 
-/**
- * Holds when `n2` is a control-flow node such that the control-flow
- * edge `(n1, n2)` may be taken when `n1` is an expression that is true.
- */
-predicate truecond_base(ControlFlowNodeBase n1, ControlFlowNodeBase n2) {
-  qlCFGTrueSuccessor(n1, n2)
-}
-
-/**
- * Holds when `n2` is a control-flow node such that the control-flow
- * edge `(n1, n2)` may be taken when `n1` is an expression that is false.
- */
-predicate falsecond_base(ControlFlowNodeBase n1, ControlFlowNodeBase n2) {
-  qlCFGFalseSuccessor(n1, n2)
-}
-
 /**
  * An abstract class that can be extended to add additional edges to the
  * control-flow graph. Instances of this class correspond to the source nodes
@@ -134,7 +118,7 @@ abstract class AdditionalControlFlowEdge extends ControlFlowNodeBase {
 /**
  * Holds if there is a control-flow edge from `source` to `target` in either
  * the extractor-generated control-flow graph or in a subclass of
- * `AdditionalControlFlowEdge`. Use this relation instead of `successors`.
+ * `AdditionalControlFlowEdge`. Use this relation instead of `qlCFGSuccessor`.
  */
 predicate successors_extended(ControlFlowNodeBase source, ControlFlowNodeBase target) {
   qlCFGSuccessor(source, target)

cpp/ql/src/semmle/code/cpp/controlflow/internal/CFG.qll

@@ -1376,8 +1376,6 @@ private module Cached {
   /**
    * Holds if `n2` is a successor of `n1` in the CFG. This includes also
    * true-successors and false-successors.
-   *
-   * This corresponds to the old `successors` dbscheme relation.
    */
   cached
   predicate qlCFGSuccessor(Node n1, Node n2) {
@@ -1390,9 +1388,8 @@ private module Cached {
   }
 
   /**
-   * Holds if `n2` is a true-successor of `n1` in the CFG.
-   *
-   * This corresponds to the old `truecond` dbscheme relation.
+   * Holds if `n2` is a control-flow node such that the control-flow
+   * edge `(n1, n2)` may be taken when `n1` is an expression that is true.
    */
   cached
   predicate qlCFGTrueSuccessor(Node n1, Node n2) {
@@ -1401,9 +1398,8 @@ private module Cached {
   }
 
   /**
-   * Holds if `n2` is a false-successor of `n1` in the CFG.
-   *
-   * This corresponds to the old `falsecond` dbscheme relation.
+   * Holds if `n2` is a control-flow node such that the control-flow
+   * edge `(n1, n2)` may be taken when `n1` is an expression that is false.
    */
   cached
   predicate qlCFGFalseSuccessor(Node n1, Node n2) {

cpp/ql/src/semmle/code/cpp/controlflow/internal/ConstantExprs.qll

@@ -1,5 +1,6 @@
 import cpp
 private import PrimitiveBasicBlocks
+private import semmle.code.cpp.controlflow.internal.CFG
 
 private class Node = ControlFlowNodeBase;
 
@@ -153,17 +154,17 @@ private predicate nonAnalyzableFunction(Function f) {
  */
 private predicate impossibleFalseEdge(Expr condition, Node succ) {
   conditionAlwaysTrue(condition) and
-  falsecond_base(condition, succ) and
-  not truecond_base(condition, succ)
+  qlCFGFalseSuccessor(condition, succ) and
+  not qlCFGTrueSuccessor(condition, succ)
 }
 
 /**
  * If a condition is provably false, then control-flow edges to its true successors are impossible.
  */
 private predicate impossibleTrueEdge(Expr condition, Node succ) {
   conditionAlwaysFalse(condition) and
-  truecond_base(condition, succ) and
-  not falsecond_base(condition, succ)
+  qlCFGTrueSuccessor(condition, succ) and
+  not qlCFGFalseSuccessor(condition, succ)
 }
 
 /**
@@ -863,9 +864,9 @@ library class ConditionEvaluator extends ExprEvaluator {
   ConditionEvaluator() { this = 0 }
 
   override predicate interesting(Expr e) {
-    falsecond_base(e, _)
+    qlCFGFalseSuccessor(e, _)
     or
-    truecond_base(e, _)
+    qlCFGTrueSuccessor(e, _)
   }
 }
 

cpp/ql/src/semmlecode.cpp.dbscheme

@@ -1935,20 +1935,6 @@ stmtparents(
 ishandler(unique int block: @stmt_block ref);
 
 @cfgnode = @stmt | @expr | @function | @initialiser ;
-successors(
-    int from: @cfgnode ref,
-    int to: @cfgnode ref
-);
-
-truecond(
-    unique int from: @cfgnode ref,
-    int to: @cfgnode ref
-);
-
-falsecond(
-    unique int from: @cfgnode ref,
-    int to: @cfgnode ref
-);
 
 stmt_decl_bind(
     int stmt: @stmt_decl ref,