1 // RUN: %clang_analyze_cc1 -verify %s -analyzer-checker=core
2 
3 // expected-no-diagnostics
4 
5 typedef unsigned long int A;
6 
7 extern int fill(A **values, int *nvalues);
8 
foo()9 void foo() {
10   A *values;
11   int nvalues;
12   fill(&values, &nvalues);
13 
14   int i = 1;
15   double x, y;
16 
17   y = values[i - 1];
18   x = values[i];
19 
20   if (x <= y) {
21   }
22 }
23