23 lines · c
1// RUN: %clang_analyze_cc1 -verify %s -analyzer-checker=core2 3// expected-no-diagnostics4 5typedef unsigned long int A;6 7extern int fill(A **values, int *nvalues);8 9void foo(void) {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