Searched refs:processAssume (Results 1 – 6 of 6) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 123 virtual ProgramStateRef processAssume(ProgramStateRef state,
|
| D | ExprEngine.h | 285 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
|
| /external/swiftshader/third_party/llvm-7.0/llvm/include/llvm/Transforms/Utils/ |
| D | PredicateInfo.h | 233 void processAssume(IntrinsicInst *, BasicBlock *, SmallPtrSetImpl<Value *> &);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 92 return SU->processAssume(state, cond, assumption); in assume()
|
| D | ExprEngine.cpp | 261 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state, in processAssume() function in ExprEngine
|
| /external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/Utils/ |
| D | PredicateInfo.cpp | 321 void PredicateInfo::processAssume(IntrinsicInst *II, BasicBlock *AssumeBB, in processAssume() function in llvm::PredicateInfo
478 processAssume(II, II->getParent(), OpsToRename); in buildPredicateInfo()
|