[compiler-rt] r189134 - [dfsan] Integration test for the equal-labels case

[Peter Collingbourne]

Author: pcc
Date: Fri Aug 23 13:45:22 2013
New Revision: 189134

URL: http://llvm.org/viewvc/llvm-project?rev=189134&view=rev
Log:
[dfsan] Integration test for the equal-labels case

Modified:
    compiler-rt/trunk/lib/dfsan/lit_tests/propagate.c

Modified: compiler-rt/trunk/lib/dfsan/lit_tests/propagate.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/dfsan/lit_tests/propagate.c?rev=189134&r1=189133&r2=189134&view=diff
==============================================================================
--- compiler-rt/trunk/lib/dfsan/lit_tests/propagate.c (original)
+++ compiler-rt/trunk/lib/dfsan/lit_tests/propagate.c Fri Aug 23 13:45:22 2013
@@ -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);