Home
last modified time | relevance | path

Searched defs:processAssume (Results 1 – 2 of 2) sorted by relevance

/external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/Utils/
DPredicateInfo.cpp321 void PredicateInfo::processAssume(IntrinsicInst *II, BasicBlock *AssumeBB, in processAssume() function in llvm::PredicateInfo
/external/clang/lib/StaticAnalyzer/Core/
DExprEngine.cpp261 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state, in processAssume() function in ExprEngine