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