================
@@ -20,11 +20,29 @@ void esc(int* p) {
int main() {
int local = 0xA;
int *plocal = &local;
- esc(plocal); // DexLabel('s1')
+ esc(plocal); // !dex_label s1
local = 0xB; //// DSE
- return 0; // DexLabel('s2')
+ return 0; // !dex_label s2
}
+// CHECK-DAG: seen_values: 5
+// CHECK-DAG: correct_step_coverage: 100.0%
+
+/*
+---
+!where {lines: !label s1}:
+ !value local: 0xA
+ !value plocal:
+ "*": 0xA
+!where {lines: !label s2}:
+ !value local: 0xB
+ !value plocal:
+ "*": 0xB
+!where {lines: !range [!label s1, !label s2]}:
+ !value "(local == *plocal)": true
+...
+*/
+
// DexExpectWatchValue('local', 0xA, on_line=ref('s1'))
// DexExpectWatchValue('local', 0xB, on_line=ref('s2'))
----------------
OCHyams wrote:
Are these old dexter commands left behind by mistake?
https://github.com/llvm/llvm-project/pull/204367
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
