8   unsigned index = -1;  in f1()  local
9   if (index < foo) index = foo;  in f1()
10   if (index + 1 == 0) // because of foo range, index is in range [0; UINT_MAX]  in f1()
18   int index = -1;  in f2()  local
19   if (index < foo) index = foo; // index equals ULONG_MAX  in f2()
20   if (index + 1 == 0)  in f2()
28   unsigned index = -1;  in f3()  local
29   if (index < foo) index = foo;  in f3()
30   if (index + 1 == 0)  in f3()
38   int index = -1;  in f4()  local
39   if (index < foo) index = foo;  in f4()
40   if (index + 1 == 0)  in f4()
48   unsigned index = -1;  in f5()  local
49   if (index < foo) index = foo;  in f5()
50   if (index == -1)  in f5()
58   unsigned index = -1;  in f6()  local
59   if (index < foo) index = foo;  in f6()
60   if (index == -1)  in f6()
68   unsigned index = -1;  in f7()  local
69   if (index < foo) index = foo;  in f7()
70   if (index - 1 == 0) // Was not reached prior fix.  in f7()
78   unsigned index = -1;  in f8()  local
79   if (index < foo) index = foo;  in f8()
80   if (index + 1L == 0L)  in f8()
88   unsigned index = -1;  in f9()  local
89   if (index < foo) index = foo;  in f9()
90   if (index - 1L == 0L) // Was not reached prior fix.  in f9()
98   unsigned index = -1;  in f10()  local
99   if (index < foo) index = foo;  in f10()
100   if (index + 1 == 0L)  in f10()
108   unsigned index = -1;  in f11()  local
109   if (index < foo) index = foo;  in f11()
110   if (index + 1UL == 0L)  in f11()
118   unsigned index = -1;  in f12()  local
119   if (index < foo) index = foo;  in f12()
120   if (index - 1UL == 0L) // Was not reached prior fix.  in f12()
128   unsigned short index = -1;  in f13()  local
129   if (index < foo) index = foo;  in f13()
130   if (index + 1 == 0)  in f13()
138   unsigned index = -1;  in f14()  local
139   if (index < foo) index = foo;  in f14()
141   if (index + 1 == 0)  in f14()
149   unsigned index = -1;  in f15()  local
150   if (index < foo) index = foo;  in f15()
151   unsigned int tmp = index + 1;  in f15()