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