Searched refs:SymIntExpr (Results 1 - 13 of 13) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | RangedConstraintManager.cpp | 31 } else if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { 187 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) {
|
H A D | SymbolManager.cpp | 41 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 D | RangeConstraintManager.cpp | 341 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { 455 const SymIntExpr* SIE) { 509 if (const SymIntExpr* SIE = dyn_cast<SymIntExpr>(Sym))
|
H A D | SimpleSValBuilder.cpp | 357 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 D | SMTConstraintManager.h | 170 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { 277 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE))
|
H A D | SymbolManager.h | 332 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 D | SMTConv.h | 384 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) {
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ArrayBoundCheckerV2.cpp | 88 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) {
|
H A D | IteratorModeling.cpp | 452 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 D | ExprInspectionChecker.cpp | 359 Optional<std::string> VisitSymIntExpr(const SymIntExpr *S) {
|
H A D | MacOSKeychainAPIChecker.cpp | 520 // Note, the comparisons of type '0 == st' are transformed into SymIntExpr. 522 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) {
|
H A D | CheckObjCDealloc.cpp | 423 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) {
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
H A D | SValExplainer.h | 119 std::string VisitSymIntExpr(const SymIntExpr *S) {
|
Completed in 118 milliseconds