diff options
Diffstat (limited to 'compiler-rt/lib/dfsan/lit_tests')
| -rw-r--r-- | compiler-rt/lib/dfsan/lit_tests/basic.c | 3 | ||||
| -rw-r--r-- | compiler-rt/lib/dfsan/lit_tests/propagate.c | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/compiler-rt/lib/dfsan/lit_tests/basic.c b/compiler-rt/lib/dfsan/lit_tests/basic.c index db1acb71208..de11bd186e9 100644 --- a/compiler-rt/lib/dfsan/lit_tests/basic.c +++ b/compiler-rt/lib/dfsan/lit_tests/basic.c @@ -13,5 +13,8 @@ int main(void) { dfsan_label new_label = dfsan_get_label(i); assert(i_label == new_label); + dfsan_label read_label = dfsan_read_label(&i, sizeof(i)); + assert(i_label == read_label); + return 0; } diff --git a/compiler-rt/lib/dfsan/lit_tests/propagate.c b/compiler-rt/lib/dfsan/lit_tests/propagate.c index d78c9ae0b33..31b65ee72a4 100644 --- a/compiler-rt/lib/dfsan/lit_tests/propagate.c +++ b/compiler-rt/lib/dfsan/lit_tests/propagate.c @@ -34,5 +34,8 @@ int main(void) { assert(dfsan_has_label(ijk_label, j_label)); assert(dfsan_has_label(ijk_label, k_label)); + struct { int i, j; } s = { i, j }; + assert(dfsan_read_label(&s, sizeof(s)) == ij_label); + return 0; } |
