Searched refs:evalComplement (Results 1 – 6 of 6) sorted by relevance
554 SVal evalComplement(SVal X) { in evalComplement() function555 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; in evalComplement()
114 virtual SVal evalComplement(NonLoc val) = 0;
389 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
255 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { in evalComplement() function in nonloc::ConcreteInt
38 SVal evalComplement(NonLoc val) override;205 SVal SimpleSValBuilder::evalComplement(NonLoc X) { in evalComplement() function in SimpleSValBuilder208 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this); in evalComplement()
989 state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>())); in VisitUnaryOperator()