Searched refs:getSymVal (Results 1 - 6 of 6) sorted by relevance
| /openbsd-current/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 111 const llvm::APSInt *getSymVal(ProgramStateRef State,
165 if (!(Value = getSymVal(State, CastSym)))
173 LHS = getSymVal(State, SIE->getLHS());
177 RHS = getSymVal(State, ISE->getRHS());
180 LHS = getSymVal(State, SSM->getLHS());
181 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr;
|
| H A D | ConstraintManager.h | 108 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, function in class:clang::ento::ConstraintManager
|
| /openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 1183 return state->getConstraintManager().getSymVal(state, Sym);
1238 State->getConstraintManager().getSymVal(State, Sym);
1259 State->getConstraintManager().getSymVal(State, S))
|
| H A D | ProgramState.cpp | 274 .getSymVal(this, sym)) {
|
| H A D | RangeConstraintManager.cpp | 1876 const llvm::APSInt *getSymVal(ProgramStateRef State,
2860 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St,
|
| /openbsd-current/gnu/llvm/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineAddSub.cpp | 138 Value *getSymVal() const { return Val; } function in class:__anon3380::FAddend
484 return CE.isOne() ? Opnd0.getSymVal() : nullptr;
536 Value *Val = ThisAddend->getSymVal();
556 if (T && T->getSymVal() == Val) {
702 if (isa<UndefValue>(Opnd->getSymVal()))
731 Value *OpndVal = Opnd.getSymVal();
|
Completed in 203 milliseconds