reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
138 if (!BooleanArgVal.getAs<Loc>()) 140 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>()); 140 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>()); 148 State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C);