Searched refs:evalComplement (Results 1 – 6 of 6) sorted by relevance
32 SVal evalComplement(NonLoc val) override;72 SVal SimpleSValBuilder::evalComplement(NonLoc X) { in evalComplement() function in SimpleSValBuilder75 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this); in evalComplement()
292 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { in evalComplement() function in nonloc::ConcreteInt
1030 state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>())); in VisitUnaryOperator()
596 SVal evalComplement(SVal X) { in evalComplement() function597 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; in evalComplement()
127 virtual SVal evalComplement(NonLoc val) = 0;
398 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;