1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
2 
3 // rdar://problem/44978988
4 // expected-no-diagnostics
5 
6 int foo(void);
7 
8 int gTotal;
9 
bar(int start,int end)10 double bar(int start, int end) {
11   int i, cnt, processed, size;
12   double result, inc;
13 
14   result = 0;
15   processed = start;
16   size = gTotal * 2;
17   cnt = (end - start + 1) * size;
18 
19   for (i = 0; i < cnt; i += 2) {
20     if ((i % size) == 0) {
21       inc = foo();
22       processed++;
23     }
24     result += inc * inc; // no-warning
25   }
26   return result;
27 }
28