[all-commits] [llvm/llvm-project] 8514e0: [Dexter] Add condition check to state nodes

[Stephen Tozer via All-commits]

  Branch: refs/heads/users/SLTozer/dexter-19-conditions
  Home:   https://github.com/llvm/llvm-project
  Commit: 8514e0fbb964da00b959ae2dda47e2142cab473f
      https://github.com/llvm/llvm-project/commit/8514e0fbb964da00b959ae2dda47e2142cab473f
  Author: Stephen Tozer <stephen.tozer at sony.com>
  Date:   2026-06-15 (Mon, 15 Jun 2026)

  Changed paths:
    M cross-project-tests/debuginfo-tests/dexter/dex/debugger/DebuggerControllers/ScriptDebuggerController.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
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/scripts/conditions.cpp

  Log Message:
  -----------
  [Dexter] Add condition check to state nodes

This patch enables the ability for state nodes to check conditions, meaning
they will be active only if the condition is met.

Condition evaluation is somewhat language specific; we directly check
whether the value of the evaluated expression is "true" (case-insensitive),
which works for the languages we actually use Dexter with, but may require
generalizing in future.

We also cache conditions as they are evaluated; each time we step, we clear
all cached conditions for the current frame and any expired frames, but we
keep the cached conditions for any frames rootwards from the current frame;
this prevents us from unexpectedly exiting out of a callee frame because of
debug info not surviving a stack unwind; if the early exit is desired, an
!and{at_frame_idx, condition} under the lower frame may suffice.



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