Searched refs:getSymVal (Results 1 – 6 of 6) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 110 const llvm::APSInt *getSymVal(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
164 if (!(Value = getSymVal(State, CastSym))) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
172 LHS = getSymVal(State, SIE->getLHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
176 RHS = getSymVal(State, ISE->getRHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
179 LHS = getSymVal(State, SSM->getLHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
180 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | ConstraintManager.h | 151 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, in getSymVal() function
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineAddSub.cpp | 138 Value *getSymVal() const { return Val; } in getSymVal() function in __anon0831a0f10111::FAddend
484 return CE.isOne() ? Opnd0.getSymVal() : nullptr; in simplify()
543 Value *Val = ThisAddend->getSymVal(); in simplifyFAdd()
555 if (T && T->getSymVal() == Val) { in simplifyFAdd()
714 if (isa<UndefValue>(Opnd->getSymVal())) in calcInstrNumber()
746 Value *OpndVal = Opnd.getSymVal(); in createAddendVal()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 279 .getSymVal(this, sym)) { in getSVal()
|
| H A D | RangeConstraintManager.cpp | 1399 const llvm::APSInt *getSymVal(ProgramStateRef State,
2021 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St, in getSymVal() function in RangeConstraintManager
|
| H A D | SimpleSValBuilder.cpp | 1108 return state->getConstraintManager().getSymVal(state, Sym); in getKnownValue()
|