| 1 | // RUN: %clang_dfsan -gmlt -mllvm -dfsan-track-origins=1 %s -o %t && \ |
|---|---|
| 2 | // RUN: %run %t >%t.out 2>&1 |
| 3 | // RUN: FileCheck %s < %t.out |
| 4 | |
| 5 | #include <sanitizer/dfsan_interface.h> |
| 6 | |
| 7 | int main(int argc, char *argv[]) { |
| 8 | uint64_t a = 10; |
| 9 | dfsan_print_origin_trace(addr: &a, NULL); |
| 10 | } |
| 11 | |
| 12 | // CHECK: DFSan: no tainted value at {{.*}} |
| 13 |