[dfsan] Integration test for the equal-labels case

llvm-svn: 189134

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);