blob: 3ddb243b3ecd52ec47dad216361b0f12296773c8 [file] [log] [blame]
Kostya Serebryanyd7992fc2014-05-12 08:01:51 +00001// RUN: %clangxx_asan -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
2// RUN: %clangxx_asan -O1 %s -o %t && not %run %t 2>&1 | FileCheck %s
3// RUN: %clangxx_asan -O2 %s -o %t && not %run %t 2>&1 | FileCheck %s
4// RUN: %clangxx_asan -O3 %s -o %t && not %run %t 2>&1 | FileCheck %s
Reid Kleckner85220d02015-08-12 23:50:12 +00005// RUN: %env_asan_opts=print_stats=1 not %run %t 2>&1 | FileCheck %s
Alexey Samsonov995bdd42014-05-16 20:12:27 +00006
7// FIXME: Fix this test under GCC.
8// REQUIRES: Clang
9
Alexey Samsonov60164862012-08-15 08:29:17 +000010#include <stdlib.h>
11#include <string.h>
12int main(int argc, char **argv) {
13 char *x = (char*)malloc(10 * sizeof(char));
14 memset(x, 0, 10);
15 int res = x[argc * 10]; // BOOOM
16 // CHECK: {{READ of size 1 at 0x.* thread T0}}
Alexey Samsonovcc510702013-07-01 08:41:45 +000017 // CHECK: {{ #0 0x.* in main .*heap-overflow.cc:}}[[@LINE-2]]
Alexey Samsonov60164862012-08-15 08:29:17 +000018 // CHECK: {{0x.* is located 0 bytes to the right of 10-byte region}}
19 // CHECK: {{allocated by thread T0 here:}}
20
Kostya Serebryanyd7992fc2014-05-12 08:01:51 +000021 // CHECK: {{ #0 0x.* in .*malloc}}
Alexey Samsonov60164862012-08-15 08:29:17 +000022 free(x);
23 return res;
24}