1a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek//= RValues.cpp - Abstract RValues for Path-Sens. Value Tracking -*- C++ -*-==// 2a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// 3a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// The LLVM Compiler Infrastructure 4a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// 5a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// This file is distributed under the University of Illinois Open Source 6a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// License. See LICENSE.TXT for details. 7a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// 8a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek//===----------------------------------------------------------------------===// 9a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// 101c96b24285d05c0eac455ae96d7c9ff43d42bc96Zhongxing Xu// This file defines SVal, Loc, and NonLoc, classes that represent 11a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// abstract r-values for use with path-sensitive value tracking. 12a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// 13a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek//===----------------------------------------------------------------------===// 14a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek 1518c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h" 1614429b918bd2f4cb52abc75546a7fe37142054caArgyrios Kyrtzidis#include "clang/AST/ExprObjC.h" 17c4a1dea2dc56bd1357ec91b829a0b9e68229a13eDaniel Dunbar#include "clang/Basic/IdentifierTable.h" 18a93d0f280693b8418bc88cf7a8c93325f7fcf4c6Benjamin Kramer#include "llvm/Support/raw_ostream.h" 19a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenekusing namespace clang; 209ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremenekusing namespace ento; 21a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenekusing llvm::APSInt; 22a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek 23a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek//===----------------------------------------------------------------------===// 24e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek// Symbol iteration within an SVal. 2590e1481ef15ec75e3503e0c6e5effad5bd639f01Ted Kremenek//===----------------------------------------------------------------------===// 2690e1481ef15ec75e3503e0c6e5effad5bd639f01Ted Kremenek 27a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek 28e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek//===----------------------------------------------------------------------===// 29e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek// Utility methods. 30e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek//===----------------------------------------------------------------------===// 31cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek 32264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xubool SVal::hasConjuredSymbol() const { 33dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<nonloc::SymbolVal> SV = getAs<nonloc::SymbolVal>()) { 34264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu SymbolRef sym = SV->getSymbol(); 35264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu if (isa<SymbolConjured>(sym)) 36264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu return true; 37264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu } 38264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu 39dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<loc::MemRegionVal> RV = getAs<loc::MemRegionVal>()) { 40264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu const MemRegion *R = RV->getRegion(); 41264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { 42264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu SymbolRef sym = SR->getSymbol(); 43264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu if (isa<SymbolConjured>(sym)) 44264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu return true; 45264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu } 46264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu } 47264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu 48264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu return false; 49264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu} 50264e93799c891c03d60cf0b09a032b0a9935d3b5Zhongxing Xu 51abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenekconst FunctionDecl *SVal::getAsFunctionDecl() const { 52dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { 53369f447eded97e6048ced02c0c2be3842f61fc1cZhongxing Xu const MemRegion* R = X->getRegion(); 54eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek if (const FunctionTextRegion *CTR = R->getAs<FunctionTextRegion>()) 555fc1d0c4532c55cc47ba6628f296bf5b86d2eaf0Anna Zaks if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(CTR->getDecl())) 565fc1d0c4532c55cc47ba6628f296bf5b86d2eaf0Anna Zaks return FD; 57369f447eded97e6048ced02c0c2be3842f61fc1cZhongxing Xu } 58369f447eded97e6048ced02c0c2be3842f61fc1cZhongxing Xu 5957e156a7ed2ce9083f77dde7a4b757ccc9cf8e50Anna Zaks return 0; 60369f447eded97e6048ced02c0c2be3842f61fc1cZhongxing Xu} 61369f447eded97e6048ced02c0c2be3842f61fc1cZhongxing Xu 62076add680e281709cf081052be0dcb822dc8f37dAnna Zaks/// \brief If this SVal is a location (subclasses Loc) and wraps a symbol, 63076add680e281709cf081052be0dcb822dc8f37dAnna Zaks/// return that SymbolRef. Otherwise return 0. 64076add680e281709cf081052be0dcb822dc8f37dAnna Zaks/// 65076add680e281709cf081052be0dcb822dc8f37dAnna Zaks/// Implicit casts (ex: void* -> char*) can turn Symbolic region into Element 66076add680e281709cf081052be0dcb822dc8f37dAnna Zaks/// region. If that is the case, gets the underlining region. 6794c969804b1f98650316a8f75434b2d24dbe94eaTed KremenekSymbolRef SVal::getAsLocSymbol() const { 68076add680e281709cf081052be0dcb822dc8f37dAnna Zaks // FIXME: should we consider SymbolRef wrapped in CodeTextRegion? 69dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) 7046d1a4f046e5a7d35a7857be271b6701823542faZhongxing Xu return X->getLoc().getAsLocSymbol(); 7146d1a4f046e5a7d35a7857be271b6701823542faZhongxing Xu 72dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) { 737dfc9420babe83e236a47e752f8723bd06070d9dZhanyong Wan const MemRegion *R = X->stripCasts(); 74f7a0cf426eddae76e1a71dd2295631a2cf0560afTed Kremenek if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(R)) 75f7a0cf426eddae76e1a71dd2295631a2cf0560afTed Kremenek return SymR->getSymbol(); 7694c969804b1f98650316a8f75434b2d24dbe94eaTed Kremenek } 7757e156a7ed2ce9083f77dde7a4b757ccc9cf8e50Anna Zaks return 0; 7894c969804b1f98650316a8f75434b2d24dbe94eaTed Kremenek} 7994c969804b1f98650316a8f75434b2d24dbe94eaTed Kremenek 80c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu/// Get the symbol in the SVal or its base region. 81c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing XuSymbolRef SVal::getLocSymbolInBase() const { 82dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>(); 83c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu 84c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu if (!X) 85c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu return 0; 86c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu 87c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu const MemRegion *R = X->getRegion(); 88c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu 89c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu while (const SubRegion *SR = dyn_cast<SubRegion>(R)) { 90c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) 91c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu return SymR->getSymbol(); 92c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu else 93c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu R = SR->getSuperRegion(); 94c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu } 95c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu 96c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu return 0; 97c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu} 98c8023788ace75cf0a0417b9b88e643ceebae91e2Zhongxing Xu 99aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks// TODO: The next 3 functions have to be simplified. 100076add680e281709cf081052be0dcb822dc8f37dAnna Zaks 101076add680e281709cf081052be0dcb822dc8f37dAnna Zaks/// \brief If this SVal wraps a symbol return that SymbolRef. 102369f447eded97e6048ced02c0c2be3842f61fc1cZhongxing Xu/// Otherwise return 0. 10394c969804b1f98650316a8f75434b2d24dbe94eaTed KremenekSymbolRef SVal::getAsSymbol() const { 104076add680e281709cf081052be0dcb822dc8f37dAnna Zaks // FIXME: should we consider SymbolRef wrapped in CodeTextRegion? 105dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) 10694c969804b1f98650316a8f75434b2d24dbe94eaTed Kremenek return X->getSymbol(); 1071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 10894c969804b1f98650316a8f75434b2d24dbe94eaTed Kremenek return getAsLocSymbol(); 10994c969804b1f98650316a8f75434b2d24dbe94eaTed Kremenek} 11094c969804b1f98650316a8f75434b2d24dbe94eaTed Kremenek 111e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek/// getAsSymbolicExpression - If this Sval wraps a symbolic expression then 112e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek/// return that expression. Otherwise return NULL. 113e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenekconst SymExpr *SVal::getAsSymbolicExpression() const { 114dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>()) 1155344baa704f42b22d9df25c24ffbbf6b4716603bAnna Zaks return X->getSymbol(); 1161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 117e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek return getAsSymbol(); 118e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek} 119edb883cabf32ef39a3f2ce7a7437894e176a740bZhongxing Xu 12064595fad45abbaa75778609196b9223bf6f2ece3Anna Zaksconst SymExpr* SVal::getAsSymExpr() const { 12164595fad45abbaa75778609196b9223bf6f2ece3Anna Zaks const SymExpr* Sym = getAsSymbol(); 12264595fad45abbaa75778609196b9223bf6f2ece3Anna Zaks if (!Sym) 12364595fad45abbaa75778609196b9223bf6f2ece3Anna Zaks Sym = getAsSymbolicExpression(); 12464595fad45abbaa75778609196b9223bf6f2ece3Anna Zaks return Sym; 12564595fad45abbaa75778609196b9223bf6f2ece3Anna Zaks} 12664595fad45abbaa75778609196b9223bf6f2ece3Anna Zaks 127edb883cabf32ef39a3f2ce7a7437894e176a740bZhongxing Xuconst MemRegion *SVal::getAsRegion() const { 128dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) 129edb883cabf32ef39a3f2ce7a7437894e176a740bZhongxing Xu return X->getRegion(); 130edb883cabf32ef39a3f2ce7a7437894e176a740bZhongxing Xu 131dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) 132604848a49d2a9c0985225bbe3a39fca223e961bbZhongxing Xu return X->getLoc().getAsRegion(); 133604848a49d2a9c0985225bbe3a39fca223e961bbZhongxing Xu 134edb883cabf32ef39a3f2ce7a7437894e176a740bZhongxing Xu return 0; 135edb883cabf32ef39a3f2ce7a7437894e176a740bZhongxing Xu} 136e0e4ebf6bfca5a71b2344d8a1b748b852509279cTed Kremenek 137b11a3ada9a22e146c6edd33bcc6301e221fedd7aJordan Roseconst MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { 1380e3ec3ff2477e60f0ceda922cc2e3a25a59d81f2Ted Kremenek const MemRegion *R = getRegion(); 139b11a3ada9a22e146c6edd33bcc6301e221fedd7aJordan Rose return R ? R->StripCasts(StripBaseCasts) : NULL; 1400e3ec3ff2477e60f0ceda922cc2e3a25a59d81f2Ted Kremenek} 1410e3ec3ff2477e60f0ceda922cc2e3a25a59d81f2Ted Kremenek 142bfcaf8048d1673320de60a22ca9c297d7484b2a8Zhongxing Xuconst void *nonloc::LazyCompoundVal::getStore() const { 143bfcaf8048d1673320de60a22ca9c297d7484b2a8Zhongxing Xu return static_cast<const LazyCompoundValData*>(Data)->getStore(); 144a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek} 145a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek 146978aeac1a90020b2a0ae6c7eb7fe65aa8226f74aJordan Roseconst TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { 147a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek return static_cast<const LazyCompoundValData*>(Data)->getRegion(); 148a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek} 149a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek 150cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek//===----------------------------------------------------------------------===// 151a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek// Other Iterators. 152a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek//===----------------------------------------------------------------------===// 153a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek 154a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremeneknonloc::CompoundVal::iterator nonloc::CompoundVal::begin() const { 155a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek return getValue()->begin(); 156a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek} 157a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek 158a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremeneknonloc::CompoundVal::iterator nonloc::CompoundVal::end() const { 159a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek return getValue()->end(); 160a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek} 161a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek 162a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek//===----------------------------------------------------------------------===// 16340fc5c7e235965af368a34cdbb6d32827cd1e1d8Ted Kremenek// Useful predicates. 16440fc5c7e235965af368a34cdbb6d32827cd1e1d8Ted Kremenek//===----------------------------------------------------------------------===// 16540fc5c7e235965af368a34cdbb6d32827cd1e1d8Ted Kremenek 166b10a7c235f82c6eb074be097c9ae7ee51fccc9c6Zhongxing Xubool SVal::isConstant() const { 1675251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); 168b10a7c235f82c6eb074be097c9ae7ee51fccc9c6Zhongxing Xu} 169b10a7c235f82c6eb074be097c9ae7ee51fccc9c6Zhongxing Xu 170db2fa8a7eb67b1e8f32a590b8e000e1259cff91aTom Carebool SVal::isConstant(int I) const { 171dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) 1725251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie return LV->getValue() == I; 173dc84cd5efdd3430efb22546b4ac656aa0540b210David Blaikie if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>()) 1745251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie return NV->getValue() == I; 1755251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie return false; 17640fc5c7e235965af368a34cdbb6d32827cd1e1d8Ted Kremenek} 17740fc5c7e235965af368a34cdbb6d32827cd1e1d8Ted Kremenek 178db2fa8a7eb67b1e8f32a590b8e000e1259cff91aTom Carebool SVal::isZeroConstant() const { 179db2fa8a7eb67b1e8f32a590b8e000e1259cff91aTom Care return isConstant(0); 180db2fa8a7eb67b1e8f32a590b8e000e1259cff91aTom Care} 181db2fa8a7eb67b1e8f32a590b8e000e1259cff91aTom Care 18240fc5c7e235965af368a34cdbb6d32827cd1e1d8Ted Kremenek 18340fc5c7e235965af368a34cdbb6d32827cd1e1d8Ted Kremenek//===----------------------------------------------------------------------===// 1841c96b24285d05c0eac455ae96d7c9ff43d42bc96Zhongxing Xu// Transfer function dispatch for Non-Locs. 185cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek//===----------------------------------------------------------------------===// 186cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek 187c8413fd03f73084a5c93028f8b4db619fc388087Ted KremenekSVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, 1886c07bdba93b095b66e2c8c82dd5ed458fa8285eaTed Kremenek BinaryOperator::Opcode Op, 1891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const nonloc::ConcreteInt& R) const { 19075b0a1ce3e98904c6ac6c5634633b3580f5b4c7eTed Kremenek const llvm::APSInt* X = 191c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); 1921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1938cc13ea74fea1c04042a2f4087665bc5182e8408Ted Kremenek if (X) 1941c96b24285d05c0eac455ae96d7c9ff43d42bc96Zhongxing Xu return nonloc::ConcreteInt(*X); 1958cc13ea74fea1c04042a2f4087665bc5182e8408Ted Kremenek else 1968cc13ea74fea1c04042a2f4087665bc5182e8408Ted Kremenek return UndefinedVal(); 197cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek} 198cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek 1991c96b24285d05c0eac455ae96d7c9ff43d42bc96Zhongxing Xunonloc::ConcreteInt 200c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremeneknonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { 201c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return svalBuilder.makeIntVal(~getValue()); 202cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek} 203cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek 204c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremeneknonloc::ConcreteInt 205c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremeneknonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { 206c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return svalBuilder.makeIntVal(-getValue()); 207c5d3b4ca4707b1fe69629bfefd73087dc4893dd8Ted Kremenek} 208c5d3b4ca4707b1fe69629bfefd73087dc4893dd8Ted Kremenek 209cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek//===----------------------------------------------------------------------===// 2101c96b24285d05c0eac455ae96d7c9ff43d42bc96Zhongxing Xu// Transfer function dispatch for Locs. 211cf78b6a771bb4537d5ee8fa44e718e842c2f70c7Ted Kremenek//===----------------------------------------------------------------------===// 212c5d3b4ca4707b1fe69629bfefd73087dc4893dd8Ted Kremenek 2139c14953d0c84f7cf5adfb4cd3c0f05a9b1723c1cTed KremenekSVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, 214ccaad9dd61b5dcbb489cfd06596ab40cda9a06acTed Kremenek BinaryOperator::Opcode Op, 215ccaad9dd61b5dcbb489cfd06596ab40cda9a06acTed Kremenek const loc::ConcreteInt& R) const { 2161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2172de56d1d0c3a504ad1529de2677628bdfbb95cd4John McCall assert (Op == BO_Add || Op == BO_Sub || 2182de56d1d0c3a504ad1529de2677628bdfbb95cd4John McCall (Op >= BO_LT && Op <= BO_NE)); 2191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2209c14953d0c84f7cf5adfb4cd3c0f05a9b1723c1cTed Kremenek const llvm::APSInt* X = BasicVals.evalAPSInt(Op, getValue(), R.getValue()); 2211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2228cc13ea74fea1c04042a2f4087665bc5182e8408Ted Kremenek if (X) 2231c96b24285d05c0eac455ae96d7c9ff43d42bc96Zhongxing Xu return loc::ConcreteInt(*X); 2248cc13ea74fea1c04042a2f4087665bc5182e8408Ted Kremenek else 2258cc13ea74fea1c04042a2f4087665bc5182e8408Ted Kremenek return UndefinedVal(); 226a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek} 227a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek 228a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek//===----------------------------------------------------------------------===// 229a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek// Pretty-Printing. 230a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek//===----------------------------------------------------------------------===// 231a90ccfe03ce62f4c33cbb96982947cf474b4fae4Ted Kremenek 2326f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenekvoid SVal::dump() const { dumpToStream(llvm::errs()); } 233aa1c4e5a6b87b62d991c55a0d4522bcd778068d7Ted Kremenek 2349c378f705405d37f49795d5e915989de774fe11fTed Kremenekvoid SVal::dumpToStream(raw_ostream &os) const { 2351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump switch (getBaseKind()) { 2369012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu case UnknownKind: 23702282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek os << "Unknown"; 2381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump break; 2399012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu case NonLocKind: 2405251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie castAs<NonLoc>().dumpToStream(os); 2411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump break; 2429012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu case LocKind: 2435251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie castAs<Loc>().dumpToStream(os); 2441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump break; 2459012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu case UndefinedKind: 2466f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenek os << "Undefined"; 2471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump break; 2489012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu } 2499012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu} 2509012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu 2519c378f705405d37f49795d5e915989de774fe11fTed Kremenekvoid NonLoc::dumpToStream(raw_ostream &os) const { 2521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump switch (getSubKind()) { 253601fa4e4e2df34442aea987e9bc6621f350eef2dTed Kremenek case nonloc::ConcreteIntKind: { 2545251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie const nonloc::ConcreteInt& C = castAs<nonloc::ConcreteInt>(); 25535df9c70f5dc04a2ed74129bcf31b1938238e4c2Ted Kremenek if (C.getValue().isUnsigned()) 25635df9c70f5dc04a2ed74129bcf31b1938238e4c2Ted Kremenek os << C.getValue().getZExtValue(); 25735df9c70f5dc04a2ed74129bcf31b1938238e4c2Ted Kremenek else 25835df9c70f5dc04a2ed74129bcf31b1938238e4c2Ted Kremenek os << C.getValue().getSExtValue(); 25935df9c70f5dc04a2ed74129bcf31b1938238e4c2Ted Kremenek os << ' ' << (C.getValue().isUnsigned() ? 'U' : 'S') 260601fa4e4e2df34442aea987e9bc6621f350eef2dTed Kremenek << C.getValue().getBitWidth() << 'b'; 2611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump break; 262601fa4e4e2df34442aea987e9bc6621f350eef2dTed Kremenek } 2635344baa704f42b22d9df25c24ffbbf6b4716603bAnna Zaks case nonloc::SymbolValKind: { 2645251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie os << castAs<nonloc::SymbolVal>().getSymbol(); 2659012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu break; 2661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 2679012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu case nonloc::LocAsIntegerKind: { 2685251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>(); 2696f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenek os << C.getLoc() << " [as " << C.getNumBits() << " bit integer]"; 2709012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu break; 2719012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu } 272a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek case nonloc::CompoundValKind: { 2735251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie const nonloc::CompoundVal& C = castAs<nonloc::CompoundVal>(); 2747b679528c1e193ff08d496264c6aed051506d9bfTed Kremenek os << "compoundVal{"; 275b8b4161e52bacc6d189146bd632393dc5f060cb0Ted Kremenek bool first = true; 276b8b4161e52bacc6d189146bd632393dc5f060cb0Ted Kremenek for (nonloc::CompoundVal::iterator I=C.begin(), E=C.end(); I!=E; ++I) { 2771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump if (first) { 2786f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenek os << ' '; first = false; 2796f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenek } 2806f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenek else 2816f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenek os << ", "; 2826f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenek 2836f9b3a4d7143362d3c2ac1f843d76971799f5b97Ted Kremenek (*I).dumpToStream(os); 284b8b4161e52bacc6d189146bd632393dc5f060cb0Ted Kremenek } 2857b679528c1e193ff08d496264c6aed051506d9bfTed Kremenek os << "}"; 286a6fac4e446eb30ed270eff9d4084d5db5e657fcfTed Kremenek break; 287a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek } 288a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek case nonloc::LazyCompoundValKind: { 2895251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie const nonloc::LazyCompoundVal &C = castAs<nonloc::LazyCompoundVal>(); 290cb421fa690da545b58a720abe5f1c49b166dbde7Dan Gohman os << "lazyCompoundVal{" << const_cast<void *>(C.getStore()) 291cb421fa690da545b58a720abe5f1c49b166dbde7Dan Gohman << ',' << C.getRegion() 292a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek << '}'; 293a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek break; 2941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 2959012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu default: 2969012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu assert (false && "Pretty-printed not implemented for this NonLoc."); 2979012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu break; 2989012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu } 2999012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu} 3009012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu 3019c378f705405d37f49795d5e915989de774fe11fTed Kremenekvoid Loc::dumpToStream(raw_ostream &os) const { 3021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump switch (getSubKind()) { 3039012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu case loc::ConcreteIntKind: 3045251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie os << castAs<loc::ConcreteInt>().getValue().getZExtValue() << " (Loc)"; 3051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump break; 3069012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu case loc::GotoLabelKind: 3075251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie os << "&&" << castAs<loc::GotoLabel>().getLabel()->getName(); 3089012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu break; 3099012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu case loc::MemRegionKind: 3105251abea41b446c26e3239c8dd6c7edea6fc335dDavid Blaikie os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); 3111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump break; 3129012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu default: 313b219cfc4d75f0a03630b7c4509ef791b7e97b2c8David Blaikie llvm_unreachable("Pretty-printing not implemented for this Loc."); 3149012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu } 3159012bff2ce5afc85936315662d675f2bcede1ca2Zhongxing Xu} 316