Lines Matching refs:SVal

111   SVal
113                                       SVal Instance,
116   static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2,
135   SVal BooleanArgVal = Call->getArgSVal(0);  in modelAssertionResultBoolConstructor()
143   SVal ThisVal = Call->getCXXThisVal();  in modelAssertionResultBoolConstructor()
145   SVal ThisSuccess = getAssertionResultSuccessFieldValue(  in modelAssertionResultBoolConstructor()
165   SVal OtherVal = Call->getArgSVal(0);  in modelAssertionResultCopyConstructor()
166   SVal ThisVal = Call->getCXXThisVal();  in modelAssertionResultCopyConstructor()
171   SVal ThisSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl,  in modelAssertionResultCopyConstructor()
173   SVal OtherSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl,  in modelAssertionResultCopyConstructor()
249 SVal GTestChecker::getAssertionResultSuccessFieldValue(  in getAssertionResultSuccessFieldValue()
250     const CXXRecordDecl *AssertionResultDecl, SVal Instance,  in getAssertionResultSuccessFieldValue()
270 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2,  in assumeValuesEqual()