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 445 SVal evalComplement(SVal X) {
446 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 virtual SVal evalComplement(NonLoc val);
170 SVal SimpleSValBuilder::evalComplement(NonLoc X) {
173 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this);
    [all...]
ExprEngineC.cpp 825 state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>()));
    [all...]

Completed in 652 milliseconds