HomeSort by: relevance | last modified time | path
    Searched defs:RangedConstraintManager (Results 1 - 2 of 2) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
RangedConstraintManager.cpp 1 //== RangedConstraintManager.cpp --------------------------------*- C++ -*--==//
9 // This file defines RangedConstraintManager, a class that provides a
15 #include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
21 RangedConstraintManager::~RangedConstraintManager() {}
23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State,
93 ProgramStateRef RangedConstraintManager::assumeSymInclusiveRange(
122 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State,
139 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State,
204 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
RangedConstraintManager.h 1 //== RangedConstraintManager.h ----------------------------------*- C++ -*--==//
313 class RangedConstraintManager : public SimpleConstraintManager {
315 RangedConstraintManager(ExprEngine *EE, SValBuilder &SB)
318 ~RangedConstraintManager() override;

Completed in 40 milliseconds