Comparing main...kaspersv/rtjo-pragmas-dca · github/codeql · GitHub
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: github/codeql
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: github/codeql
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: kaspersv/rtjo-pragmas-dca
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 6 commits
  • 29 files changed
  • 2 contributors

Commits on Oct 15, 2026

  1. JS: Disable dynamic reordering for a few predicates

    @kaspersv
    kaspersv committed Oct 15, 2026
    Configuration menu
    Copy the full SHA
    1ea2fce View commit details
    Browse the repository at this point in the history

  2. C#: Disable dynamic join ordering for select predicate

    @kaspersv
    kaspersv committed Oct 15, 2026
    Configuration menu
    Copy the full SHA
    b00aaef View commit details
    Browse the repository at this point in the history

  3. CPP: Disable dynamic join ordering for select predicates

    @kaspersv
    kaspersv committed Oct 15, 2026
    Configuration menu
    Copy the full SHA
    e638bcc View commit details
    Browse the repository at this point in the history

  4. Shared: Disable dynamic join ordering for select predicates

    @kaspersv
    kaspersv committed Oct 15, 2026
    Configuration menu
    Copy the full SHA
    fc0c1e9 View commit details
    Browse the repository at this point in the history

  5. Java: Disable dynamic join ordering for select predicate

    @kaspersv
    kaspersv committed Oct 15, 2026
    Configuration menu
    Copy the full SHA
    02928d7 View commit details
    Browse the repository at this point in the history

  6. Disable dynamic join ordering for predicates that regress under it 

    With dynamic join ordering enabled for all predicates, these predicates
regress significantly on some real-world databases. Each one has been
checked locally to return to the static-ordering timing with
pragma[no_dynamic_join_order]:

- C++: Expr.getEnclosingFunction (very large intermediate join).
- Shared range analysis: the recursive SCC around bestPreBound, plus
  FloatOverflow::semExprDoesNotOverflow. `bounded` itself is left out
  because the pragma on it currently crashes the compiler.
- Shared type flow: UniversalFlow ForAll::flowJoin.
- Rust: externCrateEdge, hasEquivalentPositionalSibling,
  PathExt.isUnqualified (and overrides), and the SensitiveVariableAccess
  characteristic predicate.
- Rust/Swift codegen: Raw::getImmediateChild and
  ParentChild::getImmediateChild, via the ql_db and ql_parent templates
  (generated files and .generated.list regenerated).

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 22e20020-a4f8-45ed-b481-749dae277ebf
    @kaspersv
    kaspersv and Copilot committed Oct 15, 2026
    Configuration menu
    Copy the full SHA
    21ed205 View commit details
    Browse the repository at this point in the history
Loading