delete/deprecate some unused code in internal/ folders

Author: erik-krogh

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll

@@ -266,9 +266,6 @@ Instruction getSourceAddressFromNode(Node node) {
   result = getSourceAddress(node.asOperand().(SideEffectOperand).getUse())
 }
 
-/** Gets the source value of `instr` if it's an instruction that behaves like a `LoadInstruction`. */
-Instruction getSourceValue(Instruction instr) { result = getSourceValueOperand(instr).getDef() }
-
 /**
  * Gets the operand that represents the source value of `instr` if it's an instruction
  * that behaves like a `LoadInstruction`.

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

@@ -31,29 +31,3 @@ predicate alwaysNotNullCallable(Callable c) {
     forex(Expr e | c.canReturn(e) | e instanceof NonNullExpr)
   )
 }
-
-/** Holds if callable 'c' always throws an exception. */
-predicate alwaysThrowsCallable(Callable c) {
-  finalCallable(c) and
-  (
-    forex(ControlFlow::Node pre | pre = c.getExitPoint().getAPredecessor() |
-      pre.getElement() instanceof ThrowElement
-    )
-    or
-    exists(CIL::Method m | m.matchesHandle(c) | CR::alwaysThrowsMethod(m))
-  )
-}
-
-/** Holds if callable `c` always throws exception `ex`. */
-predicate alwaysThrowsException(Callable c, Class ex) {
-  finalCallable(c) and
-  (
-    forex(ControlFlow::Node pre | pre = c.getExitPoint().getAPredecessor() |
-      pre.getElement().(ThrowElement).getThrownExceptionType() = ex
-    )
-    or
-    exists(CIL::Method m, CIL::Type t | m.matchesHandle(c) |
-      CR::alwaysThrowsException(m, t) and t.matchesHandle(ex)
-    )
-  )
-}

python/ql/lib/semmle/python/frameworks/internal/PEP249Impl.qll

@@ -121,7 +121,7 @@ module PEP249 {
     }
 
     /** Gets a reference to a result of calling the `cursor` method on a database connection. */
-    private DataFlow::TypeTrackingNode methodResult(DataFlow::TypeTracker t) {
+    deprecated private DataFlow::TypeTrackingNode methodResult(DataFlow::TypeTracker t) {
       t.start() and
       result.asCfgNode().(CallNode).getFunction() = methodRef().asCfgNode()
       or

ruby/ql/lib/codeql/ruby/controlflow/internal/Splitting.qll

@@ -200,10 +200,6 @@ module EnsureSplitting {
     result = ConditionalCompletionSplitting::getNextListOrder() + kind.getNestLevel()
   }
 
-  int getNextListOrder() {
-    result = max([getListOrder(_) + 1, ConditionalCompletionSplitting::getNextListOrder()])
-  }
-
   private class EnsureSplitKind extends SplitKind, TEnsureSplitKind {
     private int nestLevel;
 

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll

@@ -579,11 +579,6 @@ private module ArgumentNodes {
     }
   }
 
-  /** A data-flow node that represents the `self` argument of a call. */
-  class SelfArgumentNode extends ExplicitArgumentNode {
-    SelfArgumentNode() { arg.isArgumentOf(_, any(ArgumentPosition pos | pos.isSelf())) }
-  }
-
   /** A data-flow node that represents a block argument. */
   class BlockArgumentNode extends ArgumentNode {
     BlockArgumentNode() {