Searched refs:evalComplement (Results 1 – 6 of 6) sorted by relevance
466 SVal evalComplement(SVal X) { in evalComplement() function467 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; in evalComplement()
89 virtual SVal evalComplement(NonLoc val) = 0;
351 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
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
853 state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>())); in VisitUnaryOperator()