Searched refs:BooleanArgVal (Results 1 – 1 of 1) sorted by relevance
134 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor() local137 if (!isa<Loc>(BooleanArgVal)) in modelAssertionResultBoolConstructor()139 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>()); in modelAssertionResultBoolConstructor()147 State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C); in modelAssertionResultBoolConstructor()