1 files changed, 28 insertions, 0 deletions
diff --git a/clang-tools-extra/test/clang-tidy/checkers/bugprone/float-loop-counter.c b/clang-tools-extra/test/clang-tidy/checkers/bugprone/float-loop-counter.c
new file mode 100644
index 0000000..77812f0
--- /dev/null
+++ b/clang-tools-extra/test/clang-tidy/checkers/bugprone/float-loop-counter.c
@@ -0,0 +1,28 @@
+// RUN: %check_clang_tidy %s bugprone-float-loop-counter %t
+
+float g(void);
+int c(float);
+float f = 1.0f;
+
+void match(void) {
+
+  for (float x = 0.1f; x <= 1.0f; x += 0.1f) {}
+  // CHECK-MESSAGES: :[[@LINE-1]]:35: warning: loop induction expression should not have floating-point type [bugprone-float-loop-counter]
+
+  for (; f > 0; --f) {}
+  // CHECK-MESSAGES: :[[@LINE-1]]:17: warning: loop induction expression should not have floating-point type [bugprone-float-loop-counter]
+
+  for (float x = 0.0f; c(x); x = g()) {}
+  // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: loop induction expression should not have floating-point type [bugprone-float-loop-counter]
+
+  for (int i=0; i < 10 && f < 2.0f; f++, i++) {}
+  // CHECK-MESSAGES: :[[@LINE-1]]:37: warning: loop induction expression should not have floating-point type [bugprone-float-loop-counter]
+  // CHECK-MESSAGES: :5:1: note: floating-point type loop induction variable
+}
+
+void not_match(void) {
+  for (int i = 0; i < 10; i += 1.0f) {}
+  for (int i = 0; i < 10; ++i) {}
+  for (int i = 0; i < 10; ++i, f++) {}
+  for (int i = 0; f < 10.f; ++i) {}
+}