Lines Matching refs:SVal
112 SVal
114 SVal Instance,
117 static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2,
136 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor()
144 SVal ThisVal = Call->getCXXThisVal(); in modelAssertionResultBoolConstructor()
146 SVal ThisSuccess = getAssertionResultSuccessFieldValue( in modelAssertionResultBoolConstructor()
166 SVal OtherVal = Call->getArgSVal(0); in modelAssertionResultCopyConstructor()
167 SVal ThisVal = Call->getCXXThisVal(); in modelAssertionResultCopyConstructor()
172 SVal ThisSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl, in modelAssertionResultCopyConstructor()
174 SVal OtherSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl, in modelAssertionResultCopyConstructor()
250 SVal GTestChecker::getAssertionResultSuccessFieldValue( in getAssertionResultSuccessFieldValue()
251 const CXXRecordDecl *AssertionResultDecl, SVal Instance, in getAssertionResultSuccessFieldValue()
271 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2, in assumeValuesEqual()