[llvm-branch-commits] [llvm] [Dexter] Add at_frame_idx to check values in frames above current (PR #203505)

[Stephen Tozer via llvm-branch-commits]

================
@@ -179,9 +187,24 @@ def validate_expect(expect: Expect, expected_value, scope: Scope):
                     f"!expect/all node {expect} should not have an expected value."
                 )
 
+        def validate_where(where: Where, scope: Scope):
+            if where.is_and and not scope.where:
+                raise DexterScriptError(
+                    f"!and node must be contained by another state node."
+                )
+            if scope.get_desired_frame_idx() is not None:
+                if not where.is_and:
+                    raise DexterScriptError(
+                        f"!where node {where} cannot be contained by a node with at_frame_idx."
+                    )
+                if where.at_frame_idx:
+                    raise DexterScriptError(
+                        f"!and node {where} with at_frame_idx cannot be contained by another node with at_frame_idx."
----------------
SLTozer wrote:

Yeah, we raise an error above this `if not where.is_and`.

https://github.com/llvm/llvm-project/pull/203505