Searched refs:processAssume (Results 1 – 6 of 6) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 131 virtual ProgramStateRef processAssume(ProgramStateRef state,
|
| H A D | ExprEngine.h | 359 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 49 return SU->processAssume(State, Cond, Assumption); in assume()
|
| H A D | ExprEngine.cpp | 524 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state, in processAssume() function in ExprEngine
|
| /freebsd-12.1/contrib/llvm/include/llvm/Transforms/Utils/ |
| H A D | PredicateInfo.h | 233 void processAssume(IntrinsicInst *, BasicBlock *, SmallPtrSetImpl<Value *> &);
|
| /freebsd-12.1/contrib/llvm/lib/Transforms/Utils/ |
| H A D | PredicateInfo.cpp | 320 void PredicateInfo::processAssume(IntrinsicInst *II, BasicBlock *AssumeBB, in processAssume() function in llvm::PredicateInfo
477 processAssume(II, II->getParent(), OpsToRename); in buildPredicateInfo()
|