[all-commits] [llvm/llvm-project] 88429c: [Dexter] Add at_frame_idx to check values in frame...

[Stephen Tozer via All-commits]

  Branch: refs/heads/users/SLTozer/dexter-15-frame-index
  Home:   https://github.com/llvm/llvm-project
  Commit: 88429ca83fc6757acb982363a1dbd706afcc6445
      https://github.com/llvm/llvm-project/commit/88429ca83fc6757acb982363a1dbd706afcc6445
  Author: Stephen Tozer <stephen.tozer at sony.com>
  Date:   2026-06-12 (Fri, 12 Jun 2026)

  Changed paths:
    M cross-project-tests/debuginfo-tests/dexter/dex/debugger/DAP.py
    M cross-project-tests/debuginfo-tests/dexter/dex/debugger/DebuggerBase.py
    M cross-project-tests/debuginfo-tests/dexter/dex/debugger/DebuggerControllers/ScriptDebuggerController.py
    M cross-project-tests/debuginfo-tests/dexter/dex/debugger/dbgeng/dbgeng.py
    M cross-project-tests/debuginfo-tests/dexter/dex/debugger/lldb/LLDB.py
    M cross-project-tests/debuginfo-tests/dexter/dex/debugger/visualstudio/VisualStudio.py
    M cross-project-tests/debuginfo-tests/dexter/dex/dextIR/FrameIR.py
    M cross-project-tests/debuginfo-tests/dexter/dex/dextIR/StepIR.py
    M cross-project-tests/debuginfo-tests/dexter/dex/evaluation/ExpectWriter.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
    M cross-project-tests/debuginfo-tests/dexter/dex/test_script/Script.py
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/debugging/then_at_frame.cpp
    M cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/debugging/watch_scope.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/evaluation/eval_at_frame.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/parser/reject-bad-at_frame_idx.test
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/rewriting/Inputs/rewrite_at_frame_expected.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/rewriting/rewrite_at_frame.cpp

  Log Message:
  -----------
  [Dexter] Add at_frame_idx to check values in frames above current

This patch adds a new attribute for !and nodes, `at_frame_idx`, which
matches against frames above its parent node; for example, in the script:

```
!where {function: foo}:
  !where {function: bar}:
    !and {at_frame_idx: 1}:
      !value x: 0
```

The `!value x` node checks the value of 'x' in 'foo' while the debugger is
inside 'bar'. Use of this attribute comes with some restrictions: a !where
node can never be nested under a !and{at_frame_idx} node, and neither can
another !and{at_frame_idx} node.



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