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