Shared: Also inline 'standardFlowsTo'.

MathiasVP · MathiasVP · commit 4dd45dc75da0 · 2025-09-09T10:46:02.000+01:00
diff --git a/shared/typetracking/codeql/typetracking/internal/TypeTrackingImpl.qll b/shared/typetracking/codeql/typetracking/internal/TypeTrackingImpl.qll
@@ -283,6 +283,7 @@ module TypeTracking<LocationSig Location, TypeTrackingInput<Location> I> {
    * Holds if there is flow from `localSource` to `dst` using zero or more
    * `simpleLocalSmallStep`s.
    */
+  pragma[inline]
   predicate flowsTo(LocalSourceNode localSource, Node dst) {
     nonStandardFlowsTo(localSource, dst)
     or
