// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-config suppress-null-return-paths=true -analyzer-output=text -verify %s
// expected-no-diagnostics

int *returnNull() { return 0; }
int coin();

// Use a float parameter to ensure that the value is unknown. This will create
// a cycle in the generated ExplodedGraph.
void testCycle(float i) {
  int *x = returnNull();
  int y; 
  while (i > 0) {
    x = returnNull();
    y = 2;
    i -= 1;
  }
  *x = 1; // no-warning
  y += 1;
}

Add a test case for diagnostic suppression on a graph with cycles.
[analyzer] Add a test case for diagnostic suppression on a graph with cycles.

(see previous commit)

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