Searched refs:evalComplement (Results 1 – 6 of 6) sorted by relevance
35 SVal evalComplement(NonLoc val) override;196 SVal SimpleSValBuilder::evalComplement(NonLoc X) { in evalComplement() function in SimpleSValBuilder199 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this); in evalComplement()
208 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { in evalComplement() function in nonloc::ConcreteInt
887 state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>())); in VisitUnaryOperator()
481 SVal evalComplement(SVal X) { in evalComplement() function482 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; in evalComplement()
94 virtual SVal evalComplement(NonLoc val) = 0;
353 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;