Home
last modified time | relevance | path

Searched refs:anotherIndex (Results 1 – 2 of 2) sorted by relevance

/external/clang/test/Analysis/
Darray-struct-region.c197 int testNonOverlappingStructFieldsSymbolicBase(int index, int anotherIndex) { in testNonOverlappingStructFieldsSymbolicBase() argument
205 vals.a[anotherIndex].x = 42; in testNonOverlappingStructFieldsSymbolicBase()
213 int testStructFieldChains(int index, int anotherIndex) { in testStructFieldChains() argument
217 vals[anotherIndex].a[1].y = 42; in testStructFieldChains()
219 clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}} in testStructFieldChains()
222 vals[anotherIndex].b[1].x = 42; in testStructFieldChains()
224 clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}} in testStructFieldChains()
225 clang_analyzer_eval(vals[anotherIndex].b[1].x == 42); // expected-warning{{TRUE}} in testStructFieldChains()
228 vals[index].a[anotherIndex].x = 42; in testStructFieldChains()
230 clang_analyzer_eval(vals[anotherIndex].a[0].x == 42); // expected-warning{{UNKNOWN}} in testStructFieldChains()
[all …]
/external/llvm-project/clang/test/Analysis/
Darray-struct-region.c197 int testNonOverlappingStructFieldsSymbolicBase(int index, int anotherIndex) { in testNonOverlappingStructFieldsSymbolicBase() argument
205 vals.a[anotherIndex].x = 42; in testNonOverlappingStructFieldsSymbolicBase()
213 int testStructFieldChains(int index, int anotherIndex) { in testStructFieldChains() argument
217 vals[anotherIndex].a[1].y = 42; in testStructFieldChains()
219 clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}} in testStructFieldChains()
222 vals[anotherIndex].b[1].x = 42; in testStructFieldChains()
224 clang_analyzer_eval(vals[anotherIndex].a[1].y == 42); // expected-warning{{TRUE}} in testStructFieldChains()
225 clang_analyzer_eval(vals[anotherIndex].b[1].x == 42); // expected-warning{{TRUE}} in testStructFieldChains()
228 vals[index].a[anotherIndex].x = 42; in testStructFieldChains()
230 clang_analyzer_eval(vals[anotherIndex].a[0].x == 42); // expected-warning{{UNKNOWN}} in testStructFieldChains()
[all …]