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
