HomeSort by relevance Sort by last modified time
    Searched refs:evalComplement (Results 1 - 6 of 6) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 453 SVal evalComplement(SVal X) {
454 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
SValBuilder.h 89 virtual SVal evalComplement(NonLoc val) = 0;
SVals.h 351 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
  /external/clang/lib/StaticAnalyzer/Core/
SVals.cpp 208 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
SimpleSValBuilder.cpp 35 SVal evalComplement(NonLoc val) override;
196 SVal SimpleSValBuilder::evalComplement(NonLoc X) {
199 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this);
    [all...]
ExprEngineC.cpp 853 state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>()));
    [all...]

Completed in 166 milliseconds