replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[dfsan] Integration test for the equal-labels case 

llvm-svn: 189134
This commit is contained in:
Peter Collingbourne 2013-08-23 18:45:22 +00:00
parent a96296f3ab
commit 469c056299
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler-rt/lib/dfsan/lit_tests/propagate.c
View File

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