2013-06-06 20:35:43 +08:00
|
|
|
// RUN: clang-check -analyze "%s" -- -c 2>&1 | FileCheck %s
|
2018-08-23 01:13:40 +08:00
|
|
|
// RUN: clang-check -analyze "%s" -- -c -flto -Wa,--noexecstack 2>&1 | FileCheck %s
|
|
|
|
// RUN: clang-check -analyze "%s" -- -c -no-integrated-as -flto=thin 2>&1 | FileCheck %s
|
|
|
|
// RUN: clang-check -analyze "%s" -- -c -flto=full 2>&1 | FileCheck %s
|
2013-06-06 20:35:43 +08:00
|
|
|
|
|
|
|
// CHECK: Dereference of null pointer
|
2015-11-28 02:10:49 +08:00
|
|
|
void a(int *x) { if(x){} *x = 47; }
|