Searched refs:AssertResultClassDecl (Results 1 – 1 of 1) sorted by relevance
167 const CXXRecordDecl *AssertResultClassDecl = Call->getDecl()->getParent(); in modelAssertionResultCopyConstructor() local170 SVal ThisSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl, in modelAssertionResultCopyConstructor()172 SVal OtherSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl, in modelAssertionResultCopyConstructor()