1*95dd80c2SMatt Davis // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-config widen-loops=true -analyzer-max-loop 2 %s
2*95dd80c2SMatt Davis // REQUIRES: asserts
3*95dd80c2SMatt Davis // expected-no-diagnostics
4*95dd80c2SMatt Davis //
5*95dd80c2SMatt Davis // This test checks that the loop-widening code ignores static methods.  If that is not the
6*95dd80c2SMatt Davis // case, then an assertion will trigger.
7*95dd80c2SMatt Davis 
8*95dd80c2SMatt Davis class Test {
foo()9*95dd80c2SMatt Davis   static void foo() {
10*95dd80c2SMatt Davis     for (;;) {}
11*95dd80c2SMatt Davis   }
12*95dd80c2SMatt Davis };
13