12d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %clang_asan -O2 %s -o %t 22d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// We need replace_str=0 and replace_intrin=0 to avoid reporting errors in 32d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// strlen() and memcpy() called by printf(). 42d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: env ASAN_OPTIONS=replace_str=0:replace_intrin=0:check_printf=1 not %run %t 2>&1 | FileCheck --check-prefix=CHECK-ON %s 52d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: env ASAN_OPTIONS=replace_str=0:replace_intrin=0:check_printf=0 %run %t 2>&1 | FileCheck --check-prefix=CHECK-OFF %s 62d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: env ASAN_OPTIONS=replace_str=0:replace_intrin=0 not %run %t 2>&1 | FileCheck --check-prefix=CHECK-ON %s 72d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 85d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// FIXME: printf is not intercepted on Windows yet. 95d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// XFAIL: win32 105d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines 112d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <stdio.h> 122d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <stdlib.h> 132d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <string.h> 142d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesint main() { 152d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines volatile char c = '0'; 162d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines volatile int x = 12; 172d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines volatile float f = 1.239; 182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines volatile char s[] = "34"; 192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines char *p = strdup((const char *)s); 202d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines free(p); 212d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines printf("%c %d %.3f %s\n", c, x, f, p); 222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines return 0; 232d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // Check that %s is sanitized. 242d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // CHECK-ON: heap-use-after-free 252d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // CHECK-ON-NOT: 0 12 1.239 34 262d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // CHECK-OFF: 0 12 1.239 272d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 28