1 files changed, 12 insertions, 0 deletions
diff --git a/test/Analysis/loop-widening-ignore-static-methods.cpp b/test/Analysis/loop-widening-ignore-static-methods.cpp
new file mode 100644
index 0000000000000..bcf4f8b23a606
--- /dev/null
+++ b/test/Analysis/loop-widening-ignore-static-methods.cpp
@@ -0,0 +1,12 @@
+// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-config widen-loops=true -analyzer-max-loop 2 %s
+// REQUIRES: asserts
+// expected-no-diagnostics
+//
+// This test checks that the loop-widening code ignores static methods.  If that is not the
+// case, then an assertion will trigger.
+
+class Test {
+  static void foo() {
+    for (;;) {}
+  }
+};