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 397 SVal evalComplement(SVal X) {
398 return X.isValid() ? svalBuilder.evalComplement(cast<NonLoc>(X)) : X;
SValBuilder.h 73 virtual SVal evalComplement(NonLoc val) = 0;
SVals.h 326 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
  /external/clang/lib/StaticAnalyzer/Core/
SVals.cpp 236 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
SimpleSValBuilder.cpp 33 virtual SVal evalComplement(NonLoc val);
158 SVal SimpleSValBuilder::evalComplement(NonLoc X) {
161 return cast<nonloc::ConcreteInt>(X).evalComplement(*this);
    [all...]
ExprEngineC.cpp 632 state = state->BindExpr(U, evalComplement(cast<NonLoc>(V)));

Completed in 115 milliseconds