1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -verify %s
2 // expected-no-diagnostics
3 struct X {
4   int *p;
5   int zero;
6   void foo () {
7     reset(p - 1);
8   }
9   void reset(int *in) {
10     while (in != p) // Loop must be entered.
11       zero = 1;
12   }
13 };
14 
15 int test (int *in) {
16   X littleX;
17   littleX.zero = 0;
18   littleX.p = in;
19   littleX.foo();
20   return 5/littleX.zero; // no-warning
21 }
22 
23