Lines Matching refs:values
27 int values[length];
28 values[i] = 4;
29 return values[0]; // no-warning
43 void testConstraintOnRegionOffset(int *values, int length, int i){
44 if (values[1] == 4) {
45 values[i] = 5;
46 clang_analyzer_eval(values[1] == 4);// expected-warning {{UNKNOWN}}
50 int initArray(int *values);
51 void testConstraintOnRegionOffsetStack(int *values, int length, int i) {
52 if (values[0] == 4) {
53 initArray(values);
54 clang_analyzer_eval(values[0] == 4);// expected-warning {{UNKNOWN}}
