19   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefAfterDefaultCtr()  local
26 …std::unique_ptr<A> P(NullInnerPtr); // expected-note {{Smart pointer 'P' is constructed using a nu…  in derefAfterCtrWithNull()  local
33 …std::unique_ptr<A> P(NullInnerPtr); // expected-note {{Smart pointer 'P' is constructed using a nu…  in derefAfterCtrWithNullVariable()  local
39   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterRelease()  local
47   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterReset()  local
55   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefAfterResetWithNull()  local
64   std::unique_ptr<A> P; // FIXME: add note "Default constructed smart pointer 'P' is null"  in derefOnReleasedNullRawPtr()  local
71   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefOnSwappedNullPtr()  local
81   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefOnStdSwappedNullPtr()  local
91   std::unique_ptr<A> P;  member
102   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in noNoteTagsForNonInterestingRegion()  local
113   std::unique_ptr<A> P; // FIXME: add note "Default constructed smart pointer 'P' is null"  in derefOnRawPtrFromGetOnNullPtr()  local
119   std::unique_ptr<A> P(new A());  in derefOnRawPtrFromGetOnValidPtr()  local
123 void derefOnRawPtrFromGetOnUnknownPtr(std::unique_ptr<A> P) {  in derefOnRawPtrFromGetOnUnknownPtr()
130   std::unique_ptr<A> P;  in derefOnMovedFromValidPtr()  local
138   std::unique_ptr<A> P;  in derefOnMovedToNullPtr()  local
144   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefOnNullPtrGotMovedFromValidPtr()  local
153   std::unique_ptr<A> P;  in derefOnMovedUnknownPtr()  local
160   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefOnAssignedNullPtrToNullSmartPtr()  local
167   std::unique_ptr<A> P(new A()); // expected-note {{Smart pointer 'P' is constructed}}  in derefOnAssignedZeroToNullSmartPtr()  local
176 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{A null pointer value is moved to 'P'}}  in derefMoveConstructedWithNullPtr()  local
184 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{Smart pointer 'PToMove' is null after…  in derefValidPtrMovedToConstruct()  local
192 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{Smart pointer 'PToMove' is null after…  in derefNullPtrMovedToConstruct()  local
198 …std::unique_ptr<A> P(std::move(PToMove)); // expected-note {{Smart pointer 'PToMove' is null after…  in derefUnknownPtrMovedToConstruct()  local
204   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefConditionOnNullPtrFalseBranch()  local
214   std::unique_ptr<A> P; // expected-note {{Default constructed smart pointer 'P' is null}}  in derefConditionOnNullPtrTrueBranch()  local
222   std::unique_ptr<A> P(new A());  in derefConditionOnValidPtrTrueBranch()  local
233   std::unique_ptr<A> P(new A());  in derefConditionOnValidPtrFalseBranch()  local
244   std::unique_ptr<A> P(new A());  in derefConditionOnNotValidPtr()  local
250 void derefConditionOnUnKnownPtrAssumeNull(std::unique_ptr<A> P) {  in derefConditionOnUnKnownPtrAssumeNull()
259 void derefConditionOnUnKnownPtrAssumeNonNull(std::unique_ptr<A> P) {  in derefConditionOnUnKnownPtrAssumeNonNull()
268 void derefOnValidPtrAfterReset(std::unique_ptr<A> P) {  in derefOnValidPtrAfterReset()
277   std::unique_ptr<int> P;  member
308 void derefAfterBranchingOnUnknownInnerPtr(std::unique_ptr<A> P) {  in derefAfterBranchingOnUnknownInnerPtr()