Python: Remove join order hints that don't work.

cpp/ql/lib/semmle/code/cpp/Declaration.qll

@@ -88,6 +88,7 @@ class Declaration extends Locatable, @declaration {
    *
    * See the 3-argument `hasQualifiedName` for examples.
    */
+  pragma[noinline]
   predicate hasQualifiedName(string namespaceQualifier, string baseName) {
     this.hasQualifiedName(namespaceQualifier, "", baseName)
   }

cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll

@@ -815,10 +815,15 @@ private predicate isRelatableMemoryLocation(VariableMemoryLocation vml) {
   vml.getStartBitOffset() != Ints::unknown()
 }
 
+pragma[noinline]
+private int getRank(VirtualVariable vvar, IntValue offset) {
+  offset = rank[result](IntValue offset_ | isRelevantOffset(vvar, offset_))
+}
+
 private predicate isCoveredOffset(Allocation var, int offsetRank, VariableMemoryLocation vml) {
   exists(int startRank, int endRank, VirtualVariable vvar |
-    vml.getStartBitOffset() = rank[startRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and
+    startRank = getRank(vvar, vml.getStartBitOffset()) and
-    vml.getEndBitOffset() = rank[endRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and
+    endRank = getRank(vvar, vml.getEndBitOffset()) and
     var = vml.getAnAllocation() and
     vvar = vml.getVirtualVariable() and
     isRelatableMemoryLocation(vml) and

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedGlobalVar.qll

@@ -117,7 +117,11 @@ class TranslatedStaticStorageDurationVarInit extends TranslatedRootElement,
    * directly accessed by the function.
    */
   final predicate hasUserVariable(Variable varUsed, CppType type) {
-    (
+    this.hasUserVariable1(varUsed) and
+    type = getTypeForPRValue(getVariableType(varUsed))
+  }
+
+  private predicate hasUserVariable1(Variable varUsed) {
     (
       varUsed instanceof GlobalOrNamespaceVariable
       or
@@ -135,8 +139,6 @@ class TranslatedStaticStorageDurationVarInit extends TranslatedRootElement,
     varUsed.(LocalScopeVariable).getEnclosingElement*() = var
     or
     varUsed.(Parameter).getCatchBlock().getEnclosingElement*() = var
-    ) and
-    type = getTypeForPRValue(getVariableType(varUsed))
   }
 }
 

javascript/ql/lib/semmle/javascript/ApiGraphs.qll

@@ -1372,7 +1372,7 @@ module API {
       exists(DataFlow::TypeBackTracker t, StepSummary summary, DataFlow::Node next |
         next = trackDefNode(nd, t) and
         StepSummary::step(prev, next, summary) and
-        result = t.prepend(summary)
+        result = t.prepend_cached(summary)
       )
     }
 

javascript/ql/lib/semmle/javascript/dataflow/TypeTracking.qll

@@ -138,7 +138,7 @@ class TypeTracker extends TTypeTracker {
   TypeTracker step(DataFlow::SourceNode pred, DataFlow::SourceNode succ) {
     exists(StepSummary summary |
       StepSummary::step(pred, succ, summary) and
-      result = this.append(summary)
+      result = pragma[only_bind_out](this).append(summary)
     )
   }
 
@@ -224,8 +224,16 @@ class TypeBackTracker extends TTypeBackTracker {
   TypeBackTracker() { this = MkTypeBackTracker(hasReturn, prop) }
 
   /** Gets the summary resulting from prepending `step` to this type-tracking summary. */
+  bindingset[this, step]
+  pragma[inline_late]
+  TypeBackTracker prepend(StepSummary step) { result = this.prepend_cached(step) }
+
+  /**
+   * INTERNAL: DO NOT USE
+   * Raw version of prepend.
+   */
   cached
-  TypeBackTracker prepend(StepSummary step) {
+  TypeBackTracker prepend_cached(StepSummary step) {
     Stages::TypeTracking::ref() and
     step = LevelStep() and
     result = this

javascript/ql/lib/semmle/javascript/internal/CachedStages.qll

@@ -236,7 +236,7 @@ module Stages {
       or
       exists(any(DataFlow::TypeTracker t).append(_))
       or
-      exists(any(DataFlow::TypeBackTracker t).prepend(_))
+      exists(any(DataFlow::TypeBackTracker t).prepend_cached(_))
       or
       DataFlow::functionForwardingStep(_, _)
       or

javascript/ql/src/Statements/LabelInCase.ql

@@ -12,8 +12,11 @@
 
 import javascript
 
-from LabeledStmt l, Case c
+int labelInCaseStartColumn(Case c, LabeledStmt l) {
-where
   l = c.getAChildStmt+() and
-  l.getLocation().getStartColumn() = c.getLocation().getStartColumn()
+  result = l.getLocation().getStartColumn()
+}
+
+from LabeledStmt l, Case c
+where labelInCaseStartColumn(c, l) = c.getLocation().getStartColumn()
 select l.getChildExpr(0), "Non-case labels in switch statements are confusing."

python/ql/lib/semmle/python/pointsto/PointsToContext.qll

@@ -187,7 +187,7 @@ class PointsToContext extends TPointsToContext {
   pragma[inline]
   predicate appliesTo(ControlFlowNode n) {
     exists(Scope s |
-      this.appliesToScope(pragma[only_bind_into](s)) and pragma[only_bind_into](s) = n.getScope()
+      this.appliesToScope(s) and s = n.getScope()
     )
   }
 

ruby/ql/lib/codeql/ruby/frameworks/http_clients/NetHttp.qll

@@ -54,6 +54,14 @@ class NetHttpRequest extends Http::Client::Request::Range, DataFlow::CallNode {
   override DataFlow::Node getAUrlPart() {
     result = request.getArgument(0)
     or
+    result = this.getAUrlPartFromConstructor()
+  }
+
+  /**
+   * Gets a node that contributes to the URL of the request
+   * indirectly, through the constructor.
+   */
+  private DataFlow::Node getAUrlPartFromConstructor() {
     // Net::HTTP.new(...).get(...)
     exists(API::Node new |
       new = API::getTopLevelMember("Net").getMember("HTTP").getInstance() and