Updates after codeql file sync

Author: aibaars

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

@@ -83,6 +83,19 @@ class DataFlowCall extends TDataFlowCall {
 
   /** Gets the location of this call. */
   Location getLocation() { none() }
+
+  /**
+   * Holds if this element is at the specified location.
+   * The location spans column `startcolumn` of line `startline` to
+   * column `endcolumn` of line `endline` in file `filepath`.
+   * For more information, see
+   * [Locations](https://help.semmle.com/QL/learn-ql/ql/locations.html).
+   */
+  predicate hasLocationInfo(
+    string filepath, int startline, int startcolumn, int endline, int endcolumn
+  ) {
+    getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
+  }
 }
 
 /**

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

@@ -726,6 +726,12 @@ class DataFlowExpr = CfgNodes::ExprCfgNode;
 
 int accessPathLimit() { result = 5 }
 
+/**
+ * Holds if access paths with `c` at their head always should be tracked at high
+ * precision. This disables adaptive access path precision for such access paths.
+ */
+predicate forceHighPrecision(Content c) { none() }
+
 /** The unit type. */
 private newtype TUnit = TMkUnit()
 

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

@@ -14,6 +14,9 @@ private import codeql.ruby.dataflow.FlowSummary as FlowSummary
 /** Holds is `i` is a valid parameter position. */
 predicate parameterPosition(int i) { i in [-2 .. 10] }
 
+/** Gets the parameter position of the instance parameter. */
+int instanceParameterPosition() { none() } // disables implicit summary flow to `this` for callbacks
+
 /** Gets the synthesized summary data-flow node for the given values. */
 Node summaryNode(SummarizedCallable c, SummaryNodeState state) { result = TSummaryNode(c, state) }
 

ql/test/TestUtilities/InlineExpectationsTestPrivate.qll

@@ -4,6 +4,6 @@ import codeql.ruby.ast.internal.TreeSitter
 /**
  * A class representing line comments in Ruby.
  */
-class LineComment extends Ruby::Comment {
+class ExpectationComment extends Ruby::Comment {
   string getContents() { result = this.getValue().suffix(1) }
 }