1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-config suppress-null-return-paths=true -analyzer-output=text -verify %s
2 // expected-no-diagnostics
3 
4 int *returnNull() { return 0; }
5 int coin();
6 
7 // Use a float parameter to ensure that the value is unknown. This will create
8 // a cycle in the generated ExplodedGraph.
9 void testCycle(float i) {
10   int *x = returnNull();
11   int y;
12   while (i > 0) {
13     x = returnNull();
14     y = 2;
15     i -= 1;
16   }
17   *x = 1; // no-warning
18   y += 1;
19 }
20