Lines Matching refs:SVal
112 SVal
114 SVal Instance,
117 static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2,
134 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor()
142 SVal ThisVal = Call->getCXXThisVal(); in modelAssertionResultBoolConstructor()
144 SVal ThisSuccess = getAssertionResultSuccessFieldValue( in modelAssertionResultBoolConstructor()
164 SVal OtherVal = Call->getArgSVal(0); in modelAssertionResultCopyConstructor()
165 SVal ThisVal = Call->getCXXThisVal(); in modelAssertionResultCopyConstructor()
170 SVal ThisSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl, in modelAssertionResultCopyConstructor()
172 SVal OtherSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl, in modelAssertionResultCopyConstructor()
248 SVal GTestChecker::getAssertionResultSuccessFieldValue( in getAssertionResultSuccessFieldValue()
249 const CXXRecordDecl *AssertionResultDecl, SVal Instance, in getAssertionResultSuccessFieldValue()
269 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2, in assumeValuesEqual()