Searched refs:getSymVal (Results 1 – 6 of 6) sorted by relevance
| /llvm-project-15.0.7/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 | 108 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, in getSymVal() function
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 1180 return state->getConstraintManager().getSymVal(state, Sym); in getConstValue()
1235 State->getConstraintManager().getSymVal(State, Sym); in simplifySValOnce()
1256 State->getConstraintManager().getSymVal(State, S)) in simplifySValOnce()
|
| H A D | ProgramState.cpp | 275 .getSymVal(this, sym)) { in getSVal()
|
| H A D | RangeConstraintManager.cpp | 1814 const llvm::APSInt *getSymVal(ProgramStateRef State,
2789 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St, in getSymVal() function in RangeConstraintManager
|
| /llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineAddSub.cpp | 138 Value *getSymVal() const { return Val; } in getSymVal() function in __anonbe741ed60111::FAddend
484 return CE.isOne() ? Opnd0.getSymVal() : nullptr; in simplify()
536 Value *Val = ThisAddend->getSymVal(); in simplifyFAdd()
556 if (T && T->getSymVal() == Val) { in simplifyFAdd()
703 if (isa<UndefValue>(Opnd->getSymVal())) in calcInstrNumber()
732 Value *OpndVal = Opnd.getSymVal(); in createAddendVal()
|