diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2014-06-04 17:54:51 +0000 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2014-06-04 17:54:51 +0000 |
commit | 28015235496a8ad45fbd58dc01d32cd8ff05f177 (patch) | |
tree | 4d81beb6090236e24a4a180b7abe58f40db6c7c2 /test/dfsan | |
parent | 55bf6aafd24ee65e2c80c9cd766d5059a157393c (diff) | |
download | compiler-rt-28015235496a8ad45fbd58dc01d32cd8ff05f177.tar.gz |
[dfsan] Fix the declaration of dfsan_add_label.
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@210202 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/dfsan')
-rw-r--r-- | test/dfsan/basic.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/dfsan/basic.c b/test/dfsan/basic.c index 3c87bdc70..6582727e5 100644 --- a/test/dfsan/basic.c +++ b/test/dfsan/basic.c @@ -17,5 +17,12 @@ int main(void) { dfsan_label read_label = dfsan_read_label(&i, sizeof(i)); assert(i_label == read_label); + dfsan_label j_label = dfsan_create_label("j", 0); + dfsan_add_label(j_label, &i, sizeof(i)); + + read_label = dfsan_read_label(&i, sizeof(i)); + assert(dfsan_has_label(read_label, i_label)); + assert(dfsan_has_label(read_label, j_label)); + return 0; } |