26   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefAfterDefaultCtr()
27   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefAfterDefaultCtr()
28   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefAfterDefaultCtr()
32   A *NullInnerPtr = nullptr; // expected-note {{'NullInnerPtr' initialized to a null pointer value}}  in derefAfterCtrWithNull()
33 …std::unique_ptr<A> P(NullInnerPtr); // expected-note {{Smart pointer 'P' is constructed using a nu…  in derefAfterCtrWithNull()
34   *P; // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefAfterCtrWithNull()
35   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefAfterCtrWithNull()
39   A *NullInnerPtr = nullptr; // expected-note {{'NullInnerPtr' initialized to a null pointer value}}  in derefAfterCtrWithNullVariable()
40 …std::unique_ptr<A> P(NullInnerPtr); // expected-note {{Smart pointer 'P' is constructed using a nu…  in derefAfterCtrWithNullVariable()
41   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefAfterCtrWithNullVariable()
42   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefAfterCtrWithNullVariable()
46   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterRelease()
48   P.release(); // expected-note {{Smart pointer 'P' is released and set to null}}  in derefAfterRelease()
49   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefAfterRelease()
50   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefAfterRelease()
54   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterReset()
55   P.reset(); // expected-note {{Smart pointer 'P' reset using a null value}}  in derefAfterReset()
56   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefAfterReset()
57   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefAfterReset()
61   A *NullInnerPtr = nullptr; // expected-note {{'NullInnerPtr' initialized to a null pointer value}}  in derefAfterResetWithNull()
62   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterResetWithNull()
63   P.reset(NullInnerPtr); // expected-note {{Smart pointer 'P' reset using a null value}}  in derefAfterResetWithNull()
64   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefAfterResetWithNull()
65   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefAfterResetWithNull()
68 // FIXME: Fix this test when support is added for tracking raw pointer
69 // and mark the smart pointer as interesting based on that and add tags.
71   std::unique_ptr<A> P; // FIXME: add note "Default constructed smart pointer 'P' is null"  in derefOnReleasedNullRawPtr()
72   A *AP = P.release(); // expected-note {{'AP' initialized to a null pointer value}}  in derefOnReleasedNullRawPtr()
73   AP->foo(); // expected-warning {{Called C++ object pointer is null [core.CallAndMessage]}}  in derefOnReleasedNullRawPtr()
74   // expected-note@-1{{Called C++ object pointer is null}}  in derefOnReleasedNullRawPtr()
78   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefOnSwappedNullPtr()
82 …(*P).foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]…  in derefOnSwappedNullPtr()
83   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefOnSwappedNullPtr()
87   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefOnStdSwappedNullPtr()
90   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefOnStdSwappedNullPtr()
91   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefOnStdSwappedNullPtr()
94 struct StructWithSmartPtr { // expected-note {{Default constructed smart pointer 'S.P' is null}}
101 …S.P->foo(); // expected-warning {{Dereference of null smart pointer 'S.P' [alpha.cplusplus.SmartPt…  in derefAfterDefaultCtrInsideStruct()
102   // expected-note@-1{{Dereference of null smart pointer 'S.P'}}  in derefAfterDefaultCtrInsideStruct()
106   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in noNoteTagsForNonInterestingRegion()
112   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in noNoteTagsForNonInterestingRegion()
113   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in noNoteTagsForNonInterestingRegion()
117   std::unique_ptr<A> P; // FIXME: add note "Default constructed smart pointer 'P' is null"  in derefOnRawPtrFromGetOnNullPtr()
118   P.get()->foo(); // expected-warning {{Called C++ object pointer is null [core.CallAndMessage]}}  in derefOnRawPtrFromGetOnNullPtr()
119   // expected-note@-1 {{Called C++ object pointer is null}}  in derefOnRawPtrFromGetOnNullPtr()
132   std::unique_ptr<A> PToMove(new A());  // expected-note {{Smart pointer 'PToMove' is constructed}}  in derefOnMovedFromValidPtr()
135 …P = std::move(PToMove); // expected-note {{Smart pointer 'PToMove' is null after being moved to 'P…  in derefOnMovedFromValidPtr()
136 …PToMove->foo(); // expected-warning {{Dereference of null smart pointer 'PToMove' [alpha.cplusplus…  in derefOnMovedFromValidPtr()
137   // expected-note@-1 {{Dereference of null smart pointer 'PToMove'}}  in derefOnMovedFromValidPtr()
148   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefOnNullPtrGotMovedFromValidPtr()
150 …std::unique_ptr<A> PToMove; // expected-note {{Default constructed smart pointer 'PToMove' is null…  in derefOnNullPtrGotMovedFromValidPtr()
151   P = std::move(PToMove); // expected-note {{A null pointer value is moved to 'P'}}  in derefOnNullPtrGotMovedFromValidPtr()
152   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefOnNullPtrGotMovedFromValidPtr()
153   // expected-note@-1 {{Dereference of null smart pointer 'P'}}  in derefOnNullPtrGotMovedFromValidPtr()
158 …P = std::move(PToMove); // expected-note {{Smart pointer 'PToMove' is null after; previous value m…  in derefOnMovedUnknownPtr()
159 …PToMove->foo(); // expected-warning {{Dereference of null smart pointer 'PToMove' [alpha.cplusplus…  in derefOnMovedUnknownPtr()
160   // expected-note@-1 {{Dereference of null smart pointer 'PToMove'}}  in derefOnMovedUnknownPtr()
164   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefOnAssignedNullPtrToNullSmartPtr()
165   P = nullptr; // expected-note {{Smart pointer 'P' is assigned to null}}  in derefOnAssignedNullPtrToNullSmartPtr()
166   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefOnAssignedNullPtrToNullSmartPtr()
167   // expected-note@-1 {{Dereference of null smart pointer 'P'}}  in derefOnAssignedNullPtrToNullSmartPtr()
171   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefOnAssignedZeroToNullSmartPtr()
173   P = 0; // expected-note {{Smart pointer 'P' is assigned to null}}  in derefOnAssignedZeroToNullSmartPtr()
174   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefOnAssignedZeroToNullSmartPtr()
175   // expected-note@-1 {{Dereference of null smart pointer 'P'}}  in derefOnAssignedZeroToNullSmartPtr()
179 …std::unique_ptr<A> PToMove; // expected-note {{Default constructed smart pointer 'PToMove' is null…  in derefMoveConstructedWithNullPtr()
180 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{A null pointer value is moved to 'P'}}  in derefMoveConstructedWithNullPtr()
181   P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefMoveConstructedWithNullPtr()
182   // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefMoveConstructedWithNullPtr()
186   std::unique_ptr<A> PToMove(new A()); // expected-note {{Smart pointer 'PToMove' is constructed}}  in derefValidPtrMovedToConstruct()
188 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{Smart pointer 'PToMove' is null after…  in derefValidPtrMovedToConstruct()
189 …PToMove->foo(); // expected-warning {{Dereference of null smart pointer 'PToMove' [alpha.cplusplus…  in derefValidPtrMovedToConstruct()
190   // expected-note@-1{{Dereference of null smart pointer 'PToMove'}}  in derefValidPtrMovedToConstruct()
194 …std::unique_ptr<A> PToMove; // expected-note {{Default constructed smart pointer 'PToMove' is null…  in derefNullPtrMovedToConstruct()
196 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{Smart pointer 'PToMove' is null after…  in derefNullPtrMovedToConstruct()
197 …PToMove->foo(); // expected-warning {{Dereference of null smart pointer 'PToMove' [alpha.cplusplus…  in derefNullPtrMovedToConstruct()
198   // expected-note@-1{{Dereference of null smart pointer 'PToMove'}}  in derefNullPtrMovedToConstruct()
202 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{Smart pointer 'PToMove' is null after…  in derefUnknownPtrMovedToConstruct()
203 …PToMove->foo(); // expected-warning {{Dereference of null smart pointer 'PToMove' [alpha.cplusplus…  in derefUnknownPtrMovedToConstruct()
204   // expected-note@-1{{Dereference of null smart pointer 'PToMove'}}  in derefUnknownPtrMovedToConstruct()
208   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefConditionOnNullPtrFalseBranch()
212 … P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefConditionOnNullPtrFalseBranch()
213     // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefConditionOnNullPtrFalseBranch()
218   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefConditionOnNullPtrTrueBranch()
220 … P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefConditionOnNullPtrTrueBranch()
221     // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefConditionOnNullPtrTrueBranch()
227   std::unique_ptr<A> PNull; // expected-note {{Default constructed smart pointer 'PNull' is null}}  in derefConditionOnValidPtrTrueBranch()
229 …PNull->foo(); // expected-warning {{Dereference of null smart pointer 'PNull' [alpha.cplusplus.Sma…  in derefConditionOnValidPtrTrueBranch()
230     // expected-note@-1{{Dereference of null smart pointer 'PNull'}}  in derefConditionOnValidPtrTrueBranch()
238   std::unique_ptr<A> PNull; // expected-note {{Default constructed smart pointer 'PNull' is null}}  in derefConditionOnValidPtrFalseBranch()
242 …PNull->foo(); // expected-warning {{Dereference of null smart pointer 'PNull' [alpha.cplusplus.Sma…  in derefConditionOnValidPtrFalseBranch()
243     // expected-note@-1{{Dereference of null smart pointer 'PNull'}}  in derefConditionOnValidPtrFalseBranch()
255   std::unique_ptr<A> PNull; // expected-note {{Default constructed smart pointer 'PNull' is null}}  in derefConditionOnUnKnownPtrAssumeNull()
257     // expected-note@-1{{Assuming smart pointer 'P' is null}}  in derefConditionOnUnKnownPtrAssumeNull()
258 …PNull->foo(); // expected-warning {{Dereference of null smart pointer 'PNull' [alpha.cplusplus.Sma…  in derefConditionOnUnKnownPtrAssumeNull()
259     // expected-note@-1{{Dereference of null smart pointer 'PNull'}}  in derefConditionOnUnKnownPtrAssumeNull()
264   std::unique_ptr<A> PNull; // expected-note {{Default constructed smart pointer 'PNull' is null}}  in derefConditionOnUnKnownPtrAssumeNonNull()
266     // expected-note@-1{{Assuming smart pointer 'P' is non-null}}  in derefConditionOnUnKnownPtrAssumeNonNull()
267 …PNull->foo(); // expected-warning {{Dereference of null smart pointer 'PNull' [alpha.cplusplus.Sma…  in derefConditionOnUnKnownPtrAssumeNonNull()
268     // expected-note@-1{{Dereference of null smart pointer 'PNull'}}  in derefConditionOnUnKnownPtrAssumeNonNull()
316 … P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in derefAfterBranchingOnUnknownInnerPtr()
317     // expected-note@-1{{Dereference of null smart pointer 'P'}}  in derefAfterBranchingOnUnknownInnerPtr()
326   P.reset(); // expected-note {{Smart pointer 'P' reset using a null value}}  in makeUniqueReturnsNonNullUniquePtr()
330 … P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in makeUniqueReturnsNonNullUniquePtr()
331     // expected-note@-1{{Dereference of null smart pointer 'P'}}  in makeUniqueReturnsNonNullUniquePtr()
342   P.reset(); // expected-note {{Smart pointer 'P' reset using a null value}}  in makeUniqueForOverwriteReturnsNullUniquePtr()
346 … P->foo(); // expected-warning {{Dereference of null smart pointer 'P' [alpha.cplusplus.SmartPtr]}}  in makeUniqueForOverwriteReturnsNullUniquePtr()
347     // expected-note@-1{{Dereference of null smart pointer 'P'}}  in makeUniqueForOverwriteReturnsNullUniquePtr()
374   // the destructor of the inner pointer type.  in foo()