diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2013-08-23 18:45:22 +0000 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2013-08-23 18:45:22 +0000 |
commit | 920860cd166b25b2bf3c765b693278a4e5992a2b (patch) | |
tree | 2a450fb10a3a18739e6be2bf5cda9fab93f54ca1 /lib/dfsan | |
parent | 3c531dfb0f06a53826bd55e1cae949abb03a6d6d (diff) | |
download | compiler-rt-920860cd166b25b2bf3c765b693278a4e5992a2b.tar.gz |
[dfsan] Integration test for the equal-labels case
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@189134 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/dfsan')
-rw-r--r-- | lib/dfsan/lit_tests/propagate.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/dfsan/lit_tests/propagate.c b/lib/dfsan/lit_tests/propagate.c index d1e971d41..86d182b8a 100644 --- a/lib/dfsan/lit_tests/propagate.c +++ b/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); |