clang/test/Analysis/uninit-bug-first-iteration-init.c

   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
  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 }