Audit invariants that assert the value of pointer or iterator argument from mongo/db/exec/sbe

XMLWordPrintableJSON

    • Type: Task
    • Resolution: Fixed
    • Priority: Major - P3
    • 8.3.0-rc0
    • Affects Version/s: None
    • Component/s: None
    • Query Execution
    • Fully Compatible
    • QE 2025-09-15, QE 2025-09-29
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      Assert and replace invariants, fasserts, MONGO_UNREACHABLE and MONGO_UNIMPLEMENTED macros usage with tassert for pointer-like structures that may reference non-owned data that's not expected to be missing.
      This ticket is only concerned with the query owned code located in src/mongo/db/exec/sbe.

      Assess the invariants against this checklist:

      • Invariant is not on the write path.
      • Invariant is not asserting data coming from the storage layer.
      • Invariant is not asserting the shared state that's accessible from other threads.
      • Tassert would release all the resources that are violating the invariant.
      • Invariant is covered by either unit test of jstest.

            Assignee:
            Serhii Lysenko
            Reporter:
            Serhii Lysenko
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: