diff options
Diffstat (limited to 'compiler-rt')
| -rw-r--r-- | compiler-rt/lib/dfsan/lit_tests/propagate.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler-rt/lib/dfsan/lit_tests/propagate.c b/compiler-rt/lib/dfsan/lit_tests/propagate.c index d1e971d418f..86d182b8a7f 100644 --- a/compiler-rt/lib/dfsan/lit_tests/propagate.c +++ b/compiler-rt/lib/dfsan/lit_tests/propagate.c @@ -22,6 +22,9 @@ int main(void) { dfsan_label k_label = dfsan_create_label("k", 0); dfsan_set_label(k_label, &k, sizeof(k)); + int k2 = 4; + dfsan_set_label(k_label, &k2, sizeof(k2)); + dfsan_label ij_label = dfsan_get_label(i + j); assert(dfsan_has_label(ij_label, i_label)); assert(dfsan_has_label(ij_label, j_label)); @@ -35,6 +38,8 @@ int main(void) { assert(dfsan_has_label(ijk_label, j_label)); assert(dfsan_has_label(ijk_label, k_label)); + assert(dfsan_get_label(k + k2) == k_label); + struct { int i, j; } s = { i, j }; assert(dfsan_read_label(&s, sizeof(s)) == ij_label); |
