]>
Commit | Line | Data |
---|---|---|
1a4d82fc | 1 | // RUN: %clang_asan -O2 %s -o %t |
5bcae85e SL |
2 | // We need replace_str=0, intercept_strlen=0 and replace_intrin=0 to avoid |
3 | // reporting errors in strlen() and memcpy() called by printf(). | |
4 | // RUN: %env_asan_opts=replace_str=0:intercept_strlen=0:replace_intrin=0:check_printf=1 not %run %t 2>&1 | FileCheck --check-prefix=CHECK-ON %s | |
5 | // RUN: %env_asan_opts=replace_str=0:intercept_strlen=0:replace_intrin=0:check_printf=0 %run %t 2>&1 | FileCheck --check-prefix=CHECK-OFF %s | |
6 | // RUN: %env_asan_opts=replace_str=0:intercept_strlen=0:replace_intrin=0 not %run %t 2>&1 | FileCheck --check-prefix=CHECK-ON %s | |
92a42be0 SL |
7 | |
8 | // FIXME: printf is not intercepted on Windows yet. | |
9 | // XFAIL: win32 | |
1a4d82fc JJ |
10 | |
11 | #include <stdio.h> | |
12 | #include <stdlib.h> | |
13 | #include <string.h> | |
14 | int main() { | |
15 | volatile char c = '0'; | |
16 | volatile int x = 12; | |
17 | volatile float f = 1.239; | |
18 | volatile char s[] = "34"; | |
19 | char *p = strdup((const char *)s); | |
20 | free(p); | |
21 | printf("%c %d %.3f %s\n", c, x, f, p); | |
22 | return 0; | |
23 | // Check that %s is sanitized. | |
24 | // CHECK-ON: heap-use-after-free | |
25 | // CHECK-ON-NOT: 0 12 1.239 34 | |
26 | // CHECK-OFF: 0 12 1.239 | |
27 | } |