printf-1.c revision 6a211c5814e25d6745a5058cc0e499e5235d3821 
1// RUN: %clang_asan -O2 %s -o %t
2// RUN: env ASAN_OPTIONS=check_printf=1 %run %t 2>&1 | FileCheck %s
3// RUN: env ASAN_OPTIONS=check_printf=0 %run %t 2>&1 | FileCheck %s
4// RUN: %run %t 2>&1 | FileCheck %s
5
6#include <stdio.h>
7#if defined(_WIN32)
8# define snprintf _snprintf
9#endif
10
11int main() {
12  volatile char c = '0';
13  volatile int x = 12;
14  volatile float f = 1.239;
15  volatile char s[] = "34";
16  // Check that printf works fine under Asan.
17  printf("%c %d %.3f %s\n", c, x, f, s);
18  // CHECK: 0 12 1.239 34
19  // Check that snprintf works fine under Asan.
20  char buf[4];
21  snprintf(buf, 1000, "qwe");
22  printf("%s\n", buf);
23  // CHECK: qwe
24  return 0;
25}
26