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