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

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
RangedConstraintManager.cpp 23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State,
154 return assumeSym(State, Sym, (Op == BO_NE ? true : false));

Completed in 30 milliseconds