[all-commits] [llvm/llvm-project] 44021d: [Dexter] Add support for nested state nodes

Stephen Tozer via All-commits all-commits at lists.llvm.org
Wed Jun 3 09:11:57 PDT 2026


  Branch: refs/heads/users/SLTozer/dexter-5-complex-state-matching
  Home:   https://github.com/llvm/llvm-project
  Commit: 44021de1a657b743811520b7c7f099a55527f18e
      https://github.com/llvm/llvm-project/commit/44021de1a657b743811520b7c7f099a55527f18e
  Author: Stephen Tozer <stephen.tozer at sony.com>
  Date:   2026-06-03 (Wed, 03 Jun 2026)

  Changed paths:
    M cross-project-tests/debuginfo-tests/dexter/dex/debugger/DebuggerControllers/ScriptDebuggerController.py
    M cross-project-tests/debuginfo-tests/dexter/dex/dextIR/StepIR.py
    M cross-project-tests/debuginfo-tests/dexter/dex/evaluation/RunMatch.py
    M cross-project-tests/debuginfo-tests/dexter/dex/evaluation/StateMatch.py
    M cross-project-tests/debuginfo-tests/dexter/dex/test_script/Nodes.py
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/nested_wheres.cpp
    M cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/parser/valid-parse.test

  Log Message:
  -----------
  [Dexter] Add support for nested state nodes

This patch adds support for nested state nodes, !where and a new !and node.
Nested state nodes are evaluated only at a frame relative to the frame that
their parent matched to:

- `!where` can only match the frame immediately called from/leafwards from
  their parent frame.
- `!and` can only match the same frame as their parent frame.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications


More information about the All-commits mailing list