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