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