1*89a1d03eSRichard // RUN: %check_clang_tidy %s bugprone-too-small-loop-variable %t -- -- --target=x86_64-linux
2*89a1d03eSRichard 
3*89a1d03eSRichard // MagnitudeBitsUpperLimit = 16 (default value)
4*89a1d03eSRichard 
size()5*89a1d03eSRichard unsigned long size() { return 294967296l; }
6*89a1d03eSRichard 
voidFilteredOutForLoop1()7*89a1d03eSRichard void voidFilteredOutForLoop1() {
8*89a1d03eSRichard   for (long i = 0; i < size(); ++i) {
9*89a1d03eSRichard     // no warning
10*89a1d03eSRichard   }
11*89a1d03eSRichard }
12*89a1d03eSRichard 
voidCaughtForLoop1()13*89a1d03eSRichard void voidCaughtForLoop1() {
14*89a1d03eSRichard   for (int i = 0; i < size(); ++i) {
15*89a1d03eSRichard     // no warning
16*89a1d03eSRichard   }
17*89a1d03eSRichard }
18*89a1d03eSRichard 
voidCaughtForLoop2()19*89a1d03eSRichard void voidCaughtForLoop2() {
20*89a1d03eSRichard   for (short i = 0; i < size(); ++i) {
21*89a1d03eSRichard     // CHECK-MESSAGES: :[[@LINE-1]]:21: warning: loop variable has narrower type 'short' than iteration's upper bound 'unsigned long' [bugprone-too-small-loop-variable]
22*89a1d03eSRichard   }
23*89a1d03eSRichard }
24