Lines Matching full:syz
12 void test(struct S syz, int *pp) {
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) {
29 syz.x = foo(); // expected-note{{Value assigned to 'syz.x'}}
31 struct S *ps = &syz;
37 int *p = syz.x; //expected-note {{'p' initialized to a null pointer value}}
106 // CHECK-NEXT: <string>Value assigned to 'syz.x'</string>
108 // CHECK-NEXT: <string>Value assigned to 'syz.x'</string>
380 // CHECK-NEXT: <string>Value assigned to 'syz.x'</string>
382 syz.x'</string>
