]>
git.proxmox.com Git - rustc.git/blob - src/libcompiler_builtins/compiler-rt/test/dfsan/basic.c
1 // RUN: %clang_dfsan %s -o %t && %run %t
2 // RUN: %clang_dfsan -mllvm -dfsan-args-abi %s -o %t && %run %t
4 // Tests that labels are propagated through loads and stores.
6 #include <sanitizer/dfsan_interface.h>
11 dfsan_label i_label
= dfsan_create_label("i", 0);
12 dfsan_set_label(i_label
, &i
, sizeof(i
));
14 dfsan_label new_label
= dfsan_get_label(i
);
15 assert(i_label
== new_label
);
17 dfsan_label read_label
= dfsan_read_label(&i
, sizeof(i
));
18 assert(i_label
== read_label
);
20 dfsan_label j_label
= dfsan_create_label("j", 0);
21 dfsan_add_label(j_label
, &i
, sizeof(i
));
23 read_label
= dfsan_read_label(&i
, sizeof(i
));
24 assert(dfsan_has_label(read_label
, i_label
));
25 assert(dfsan_has_label(read_label
, j_label
));