Searched refs:BooleanArgVal (Results 1 – 1 of 1) sorted by relevance
135 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor() local138 if (!BooleanArgVal.getAs<Loc>()) in modelAssertionResultBoolConstructor()140 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>()); in modelAssertionResultBoolConstructor()148 State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C); in modelAssertionResultBoolConstructor()