Searched refs:SymIntExpr (Results 1 - 13 of 13) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp31 } else if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) {
187 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) {
H A DSymbolManager.cpp41 void SymIntExpr::dumpToStream(raw_ostream &os) const {
152 itr.push_back(cast<SymIntExpr>(SE)->getLHS());
269 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs,
274 SymIntExpr::Profile(ID, lhs, op, v, t);
279 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>();
280 new (data) SymIntExpr(lhs, op, v, t);
284 return cast<SymIntExpr>(data);
490 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS());
H A DRangeConstraintManager.cpp341 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) {
455 const SymIntExpr* SIE) {
509 if (const SymIntExpr* SIE = dyn_cast<SymIntExpr>(Sym))
H A DSimpleSValBuilder.cpp357 if (const auto *SymInt = dyn_cast<SymIntExpr>(Sym))
664 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) {
745 // Otherwise, make a SymIntExpr out of the expression.
1273 SVal VisitSymIntExpr(const SymIntExpr *S) {
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h170 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) {
277 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE))
H A DSymbolManager.h332 class SymIntExpr : public BinarySymExpr { class in namespace:clang::ento
337 SymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op, function in class:clang::ento::SymIntExpr
517 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
520 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op,
H A DSMTConv.h384 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) {
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp88 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) {
H A DIteratorModeling.cpp452 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin()))
457 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd()))
1446 assert(isa<SymIntExpr>(CompSym) &&
1447 "Symbol comparison must be a `SymIntExpr`");
1449 cast<SymIntExpr>(CompSym)->getOpcode()) &&
1451 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);
H A DExprInspectionChecker.cpp359 Optional<std::string> VisitSymIntExpr(const SymIntExpr *S) {
H A DMacOSKeychainAPIChecker.cpp520 // Note, the comparisons of type '0 == st' are transformed into SymIntExpr.
522 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) {
H A DCheckObjCDealloc.cpp423 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) {
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h119 std::string VisitSymIntExpr(const SymIntExpr *S) {

Completed in 118 milliseconds