| 1 | // RUN: %clang_dfsan -gmlt %s -o %t && %run %t >%t.out 2>&1 |
|---|---|
| 2 | // RUN: FileCheck %s < %t.out |
| 3 | |
| 4 | #include <sanitizer/dfsan_interface.h> |
| 5 | |
| 6 | int main(int argc, char *argv[]) { |
| 7 | uint64_t a = 10; |
| 8 | dfsan_set_label(label: 8, addr: &a, size: sizeof(a)); |
| 9 | dfsan_print_origin_trace(addr: &a, NULL); |
| 10 | } |
| 11 | |
| 12 | // CHECK: DFSan: origin tracking is not enabled. Did you specify the -dfsan-track-origins=1 option? |
| 13 |