91   int eee = 16;  in overflow_binary_search()  local
99     if (in < ins[eee]) {  in overflow_binary_search()
100       eee -= 8;  in overflow_binary_search()
102       eee += 8;  in overflow_binary_search()
104     if (in < ins[eee]) {  in overflow_binary_search()
105       eee -= 4;  in overflow_binary_search()
107       eee += 4;  in overflow_binary_search()
109     if (in < ins[eee]) {  in overflow_binary_search()
110       eee -= 2;  in overflow_binary_search()
112       eee += 2;  in overflow_binary_search()
114     if (in < ins[eee]) {  in overflow_binary_search()
115       eee -= 1;  in overflow_binary_search()
117       eee += 1;  in overflow_binary_search()
119     if (in < ins[eee]) { // expected-warning {{Access out-of-bound array element (buffer overflow)}}  in overflow_binary_search()
120       eee -= 1;  in overflow_binary_search()
123   return eee;  in overflow_binary_search()