Searched refs:getSymVal (Results 1 – 6 of 6) sorted by relevance
| /freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | SMTConstraintManager.h | 114 const llvm::APSInt *getSymVal(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
168 if (!(Value = getSymVal(State, CastSym))) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
176 LHS = getSymVal(State, SIE->getLHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
180 RHS = getSymVal(State, ISE->getRHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
183 LHS = getSymVal(State, SSM->getLHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
184 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| HD | ConstraintManager.h | 108 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, in getSymVal() function
|
| /freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| HD | SimpleSValBuilder.cpp | 1203 return state->getConstraintManager().getSymVal(state, Sym); in getConstValue()
1294 State->getConstraintManager().getSymVal(State, Sym); in simplifySValOnce()
1315 State->getConstraintManager().getSymVal(State, S)) in simplifySValOnce()
|
| HD | ProgramState.cpp | 287 .getSymVal(this, sym)) { in getSVal()
|
| HD | RangeConstraintManager.cpp | 1876 const llvm::APSInt *getSymVal(ProgramStateRef State,
2867 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St, in getSymVal() function in RangeConstraintManager
|
| /freebsd-head/contrib/llvm-project/llvm/lib/Transforms/InstCombine/ |
| HD | InstCombineAddSub.cpp | 138 Value *getSymVal() const { return Val; } in getSymVal() function in __anon60b04e250111::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()
702 if (isa<UndefValue>(Opnd->getSymVal())) in calcInstrNumber()
731 Value *OpndVal = Opnd.getSymVal(); in createAddendVal()
|