26   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefAfterDefaultCtr()
33 …std::unique_ptr<A> P(NullInnerPtr); // expected-note {{Smart pointer 'P' is constructed using a nu…  in derefAfterCtrWithNull()
40 …std::unique_ptr<A> P(NullInnerPtr); // expected-note {{Smart pointer 'P' is constructed using a nu…  in derefAfterCtrWithNullVariable()
46   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterRelease()
54   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterReset()
62   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterResetWithNull()
71   std::unique_ptr<A> P; // FIXME: add note "Default constructed smart pointer 'P' is null"  in derefOnReleasedNullRawPtr()
78   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefOnSwappedNullPtr()
79   std::unique_ptr<A> PNull;  in derefOnSwappedNullPtr()
87   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefOnStdSwappedNullPtr()
88   std::unique_ptr<A> PNull;  in derefOnStdSwappedNullPtr()
95   std::unique_ptr<A> P;
106   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in noNoteTagsForNonInterestingRegion()
107   std::unique_ptr<A> P1; // No note.  in noNoteTagsForNonInterestingRegion()
108   std::unique_ptr<A> P2; // No note.  in noNoteTagsForNonInterestingRegion()
117   std::unique_ptr<A> P; // FIXME: add note "Default constructed smart pointer 'P' is null"  in derefOnRawPtrFromGetOnNullPtr()
123   std::unique_ptr<A> P(new A());  in derefOnRawPtrFromGetOnValidPtr()
127 void derefOnRawPtrFromGetOnUnknownPtr(std::unique_ptr<A> P) {  in derefOnRawPtrFromGetOnUnknownPtr()
132   std::unique_ptr<A> PToMove(new A());  // expected-note {{Smart pointer 'PToMove' is constructed}}  in derefOnMovedFromValidPtr()
134   std::unique_ptr<A> P;  in derefOnMovedFromValidPtr()
141   std::unique_ptr<A> PToMove(new A());  in derefOnMovedToNullPtr()
142   std::unique_ptr<A> P;  in derefOnMovedToNullPtr()
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()
156 void derefOnMovedUnknownPtr(std::unique_ptr<A> PToMove) {  in derefOnMovedUnknownPtr()
157   std::unique_ptr<A> P;  in derefOnMovedUnknownPtr()
164   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefOnAssignedNullPtrToNullSmartPtr()
171   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  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()
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()
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()
201 void derefUnknownPtrMovedToConstruct(std::unique_ptr<A> PToMove) {  in derefUnknownPtrMovedToConstruct()
202 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{Smart pointer 'PToMove' is null after…  in derefUnknownPtrMovedToConstruct()
208   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefConditionOnNullPtrFalseBranch()
218   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefConditionOnNullPtrTrueBranch()
226   std::unique_ptr<A> P(new A());  in derefConditionOnValidPtrTrueBranch()
227   std::unique_ptr<A> PNull; // expected-note {{Default constructed smart pointer 'PNull' is null}}  in derefConditionOnValidPtrTrueBranch()
237   std::unique_ptr<A> P(new A());  in derefConditionOnValidPtrFalseBranch()
238   std::unique_ptr<A> PNull; // expected-note {{Default constructed smart pointer 'PNull' is null}}  in derefConditionOnValidPtrFalseBranch()
248   std::unique_ptr<A> P(new A());  in derefConditionOnNotValidPtr()
249   std::unique_ptr<A> PNull;  in derefConditionOnNotValidPtr()
254 void derefConditionOnUnKnownPtrAssumeNull(std::unique_ptr<A> P) {  in derefConditionOnUnKnownPtrAssumeNull()
255   std::unique_ptr<A> PNull; // expected-note {{Default constructed smart pointer 'PNull' is null}}  in derefConditionOnUnKnownPtrAssumeNull()
263 void derefConditionOnUnKnownPtrAssumeNonNull(std::unique_ptr<A> P) {  in derefConditionOnUnKnownPtrAssumeNonNull()
264   std::unique_ptr<A> PNull; // expected-note {{Default constructed smart pointer 'PNull' is null}}  in derefConditionOnUnKnownPtrAssumeNonNull()
272 void derefOnValidPtrAfterReset(std::unique_ptr<A> P) {  in derefOnValidPtrAfterReset()
281   std::unique_ptr<int> P;
303   int callingFooWithUnknownPointer(std::unique_ptr<int> PUnknown) {  in callingFooWithUnknownPointer()
312 void derefAfterBranchingOnUnknownInnerPtr(std::unique_ptr<A> P) {  in derefAfterBranchingOnUnknownInnerPtr()