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 | 469c056299c2efd046c85fee5864d098facbd627 (patch) | |
| tree | 850977f71db8ed5ff13b9117af69bf2c12dcb1fa /compiler-rt/lib/dfsan | |
| parent | a96296f3ab77848bdcb55800e0ef3e29a45ab344 (diff) | |
| download | bcm5719-llvm-469c056299c2efd046c85fee5864d098facbd627.tar.gz bcm5719-llvm-469c056299c2efd046c85fee5864d098facbd627.zip | |
[dfsan] Integration test for the equal-labels case
llvm-svn: 189134
Diffstat (limited to 'compiler-rt/lib/dfsan')
| -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); |
