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