initializer.cpp « Analysis « test - clang/clang.git - (deprecated) Vendor branches of https://git.llvm.org/git/clang.git , use clang/llvm-project instead.

index : clang/clang.git

(deprecated) Vendor branches of https://git.llvm.org/git/clang.git , use clang/llvm-project instead.

summary refs log tree commit diff stats

path: root/test/Analysis/initializer.cpp

blob: 656a8bf8eed839db6178c019ec7d78af2949de4f (plain)

// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -cfg-add-initializers -verify %s

class A {
  int x;
public:
  A();
};

A::A() : x(0) {
  if (x != 0) {
    int *p = 0;
    *p = 0; // no-warning
  }
}