1c3282c0bSPavel Labath // RUN: clang-check -analyze "%s" -- -c 2>&1 | FileCheck %s
2*83494d2fSChih-Hung Hsieh // RUN: clang-check -analyze "%s" -- -c -flto -Wa,--noexecstack 2>&1 | FileCheck %s
3*83494d2fSChih-Hung Hsieh // RUN: clang-check -analyze "%s" -- -c -no-integrated-as -flto=thin 2>&1 | FileCheck %s
4*83494d2fSChih-Hung Hsieh // RUN: clang-check -analyze "%s" -- -c -flto=full 2>&1 | FileCheck %s
5c3282c0bSPavel Labath
6c3282c0bSPavel Labath // CHECK: Dereference of null pointer
a(int * x)7d08cb6c5SArtyom Skrobov void a(int *x) { if(x){} *x = 47; }
8