|
| 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 | +// Test origin tracking is accurate in terms of endianness. |
| 6 | + |
| 7 | +#include <sanitizer/dfsan_interface.h> |
| 8 | + |
| 9 | +typedef uint64_t FULL_TYPE; |
| 10 | +typedef uint32_t HALF_TYPE; |
| 11 | + |
| 12 | +__attribute__((noinline)) FULL_TYPE foo(FULL_TYPE a, FULL_TYPE b) { |
| 13 | + return a + b; |
| 14 | +} |
| 15 | + |
| 16 | +int main(int argc, char *argv[]) { |
| 17 | + FULL_TYPE a = 1; |
| 18 | + FULL_TYPE b = 10; |
| 19 | + dfsan_set_label(4, (HALF_TYPE *)&a, sizeof(HALF_TYPE)); |
| 20 | + FULL_TYPE c = foo(a, b); |
| 21 | + dfsan_print_origin_trace(&c, NULL); |
| 22 | + dfsan_print_origin_trace((HALF_TYPE *)&c, NULL); |
| 23 | +} |
| 24 | + |
| 25 | +// CHECK: Taint value 0x4 {{.*}} origin tracking () |
| 26 | +// CHECK: Origin value: {{.*}}, Taint value was stored to memory at |
| 27 | +// CHECK: #0 {{.*}} in main {{.*}}origin_endianness.c:[[@LINE-7]] |
| 28 | + |
| 29 | +// CHECK: Origin value: {{.*}}, Taint value was created at |
| 30 | +// CHECK: #0 {{.*}} in main {{.*}}origin_endianness.c:[[@LINE-11]] |
| 31 | + |
| 32 | +// CHECK: Taint value 0x4 {{.*}} origin tracking () |
| 33 | +// CHECK: Origin value: {{.*}}, Taint value was stored to memory at |
| 34 | +// CHECK: #0 {{.*}} in main {{.*}}origin_endianness.c:[[@LINE-14]] |
| 35 | + |
| 36 | +// CHECK: Origin value: {{.*}}, Taint value was created at |
| 37 | +// CHECK: #0 {{.*}} in main {{.*}}origin_endianness.c:[[@LINE-18]] |
0 commit comments