Searched defs:syz (Results 1 - 1 of 1) sorted by relevance

/external/clang/test/Analysis/diagnostics/
H A Dderef-track-symbolic-region.c12 void test(struct S syz, int *pp) { argument
14 syz.x = foo(); // expected-note{{Value assigned to 'syz.x'}}
16 struct S *ps = &syz;
23 m += *syz.x; // expected-warning{{Dereference of null pointer (loaded from field 'x')}}
27 void testTrackConstraintBRVisitorIsTrackingTurnedOn(struct S syz, int *pp) { argument
29 syz.x = foo(); // expected-note{{Value assigned to 'syz.x'}}
31 struct S *ps = &syz;
37 int *p = syz
[all...]

Completed in 86 milliseconds