// RUN: clang -checker-simple -analyzer-store-region -verify %s

struct s {
  int data;
};

struct s global;

void g(int);

void f4() {
  int a;
  if (global.data == 0)
    a = 3;
  if (global.data == 0)
    g(a); // no-warning
}

// RUN: clang -checker-simple -analyzer-store-region -verify %s

struct s {
  int data;
};

struct s global;

void g(int);

void f4() {
  int a;
  if (global.data == 0)
    a = 3;
  if (global.data == 0) // The true branch is infeasible.
    g(a); // no-warning
}

Add comment to test case for documentation.
Add comment to test case for documentation.


git-svn-id: ffe668792ed300d6c2daa1f6eba2e0aa28d7ec6c@60521 91177308-0d34-0410-b5e6-96231b3b80d8
