9   S(int *a, int *b) : p1(a), p2(b) {} // expected-note{{Null pointer value stored to 's.p1'}}  in S()
14   // expected-note@-1{{'x' initialized to a null pointer value}}  in CtorDirect()
17   // expected-note@-1{{Passing null pointer value via 1st parameter 'a'}}  in CtorDirect()
21   S s2 = s; // expected-note{{Null pointer value stored to 's2.p1'}}  in CtorDirect()
23   S s3 = s2;  // expected-note{{Null pointer value stored to 's3.p1'}}  in CtorDirect()
25   S s4 = std::move(s3); // expected-note{{Null pointer value stored to 's4.p1'}}  in CtorDirect()
27   S s5 = s4; // expected-note{{Null pointer value stored to 's5.p1'}}  in CtorDirect()
29   int i = *s5.p1; // expected-warning{{Dereference of null pointer}}  in CtorDirect()
30   // expected-note@-1{{Dereference of null pointer (loaded from field 'p1')}}  in CtorDirect()
42   int *x = nullptr, *y = nullptr; //expected-note{{'x' initialized to a null pointer value}}  in InitListDirect()
44   S s{x, y}; //expected-note{{'s.p1' initialized to a null pointer value}}  in InitListDirect()
46   S s2 = s; // expected-note{{Null pointer value stored to 's2.p1'}}  in InitListDirect()
48   S s3 = s2; // expected-note{{Null pointer value stored to 's3.p1'}}  in InitListDirect()
50   S s4 = std::move(s3); // expected-note{{Null pointer value stored to 's4.p1'}}  in InitListDirect()
52   S s5 = s4; // expected-note{{Null pointer value stored to 's5.p1'}}  in InitListDirect()
54   int i = *s5.p1; // expected-warning{{Dereference of null pointer}}  in InitListDirect()
55   // expected-note@-1{{Dereference of null pointer (loaded from field 'p1')}}  in InitListDirect()
61   int *x = nullptr, *y = nullptr; //expected-note{{'x' initialized to a null pointer value}}  in InitListAssign()
63   S s = {x, y}; //expected-note{{'s.p1' initialized to a null pointer value}}  in InitListAssign()
65   S s2 = s; // expected-note{{Null pointer value stored to 's2.p1'}}  in InitListAssign()
67   S s3 = s2; // expected-note{{Null pointer value stored to 's3.p1'}}  in InitListAssign()
69   S s4 = std::move(s3); // expected-note{{Null pointer value stored to 's4.p1'}}  in InitListAssign()
71   S s5 = s4; // expected-note{{Null pointer value stored to 's5.p1'}}  in InitListAssign()
73   int i = *s5.p1; // expected-warning{{Dereference of null pointer}}  in InitListAssign()
74   // expected-note@-1{{Dereference of null pointer (loaded from field 'p1')}}  in InitListAssign()
84   S(int *a, int *b) : p1{a}, p2{b} {} // expected-note{{Null pointer value stored to 's.p1'}}  in S()
89   // expected-note@-1{{'x' initialized to a null pointer value}}  in CtorDirect()
92   // expected-note@-1{{Passing null pointer value via 1st parameter 'a'}}  in CtorDirect()
96   S s2 = s; // expected-note{{Null pointer value stored to 's2.p1'}}  in CtorDirect()
98   S s3 = s2;  // expected-note{{Null pointer value stored to 's3.p1'}}  in CtorDirect()
100   S s4 = std::move(s3); // expected-note{{Null pointer value stored to 's4.p1'}}  in CtorDirect()
102   S s5 = s4; // expected-note{{Null pointer value stored to 's5.p1'}}  in CtorDirect()
104   int i = *s5.p1; // expected-warning{{Dereference of null pointer}}  in CtorDirect()
105   // expected-note@-1{{Dereference of null pointer (loaded from field 'p1')}}  in CtorDirect()
117   int *x = nullptr, *y = nullptr; //expected-note{{'y' initialized to a null pointer value}}  in InitListDirect()
119   S s{x, y}; //expected-note{{'s.p2' initialized to a null pointer value}}  in InitListDirect()
121   int i = *s.p2; // expected-warning{{Dereference of null pointer}}  in InitListDirect()
122   // expected-note@-1{{Dereference of null pointer}}  in InitListDirect()
137   int *x = nullptr, *y = nullptr; //expected-note{{'y' initialized to a null pointer value}}  in InitListNestedDirect()
140   S s{x, y}; //expected-note{{'s.s.p2' initialized to a null pointer value}}  in InitListNestedDirect()
142   int i = *s.s.p2; // expected-warning{{Dereference of null pointer}}  in InitListNestedDirect()
143   // expected-note@-1{{Dereference of null pointer}}  in InitListNestedDirect()
157   //expected-note@-1{{'y' initialized to a null pointer value}}  in StructuredBinding()
160   //expected-note@-1{{'s.p2' initialized to a null pointer value}}  in StructuredBinding()
163   auto [a, b] = s; //expected-note{{Null pointer value stored to '.p2'}}  in StructuredBinding()
165   int i = *b; // expected-warning{{Dereference of null pointer}}  in StructuredBinding()
166   // expected-note@-1{{Dereference of null pointer}}  in StructuredBinding()
195     // expected-note@-1{{Null pointer value stored to 's.s2.s3.s4.s5.y'}}
199     int *x = nullptr, *y = nullptr; // expected-note{{'y' initialized to a null pointer value}}  in nestedCtorInit()
202     // expected-note@-1{{Passing null pointer value via 2nd parameter}}  in nestedCtorInit()
206     int i = *s.s2.s3.s4.s5.y; // expected-warning{{Dereference of null pointer}}  in nestedCtorInit()
207     // expected-note@-1{{Dereference of null pointer}}  in nestedCtorInit()
223   // expected-note@-1{{'y' initialized to a null pointer value}}  in NestedRegionTrack()
227   // expected-note@-1{{'a.y.e' initialized to a null pointer value}}  in NestedRegionTrack()
235   S b = a; // expected-note{{Null pointer value stored to 'b.y.e'}}  in NestedRegionTrack()
238   // expected-warning@-1{{Dereference of null pointer}}  in NestedRegionTrack()
239   // expected-note@-2{{Dereference of null pointer}}  in NestedRegionTrack()
257   // expected-note@-1{{'y' initialized to a null pointer value}}  in NestedElementRegionTrack()
260   // expected-note@-1{{Initializing to a null pointer value}}  in NestedElementRegionTrack()
263   S b = a; // expected-note{{Storing null pointer value}}  in NestedElementRegionTrack()
266   // expected-warning@-1{{Dereference of null pointer}}  in NestedElementRegionTrack()
267   // expected-note@-2{{Dereference of null pointer}}  in NestedElementRegionTrack()