1846eabd187be4bfe992e8bca131166b734d86e0dTed Kremenek// SValBuilder.h - Construction of SVals from evaluating expressions -*- C++ -*- 2e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek// 3e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek// The LLVM Compiler Infrastructure 4e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek// 5e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek// This file is distributed under the University of Illinois Open Source 6e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek// License. See LICENSE.TXT for details. 7e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek// 8e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek//===----------------------------------------------------------------------===// 9e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek// 10846eabd187be4bfe992e8bca131166b734d86e0dTed Kremenek// This file defines SValBuilder, a class that defines the interface for 11e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek// "symbolical evaluators" which construct an SVal from an expression. 121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump// 13e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek//===----------------------------------------------------------------------===// 14e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 155a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis#ifndef LLVM_CLANG_GR_SVALBUILDER 165a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis#define LLVM_CLANG_GR_SVALBUILDER 17e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 18478851c3ed6bd784e7377dffd8e57b200c1b9ba9Benjamin Kramer#include "clang/AST/ASTContext.h" 19e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek#include "clang/AST/Expr.h" 201a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek#include "clang/AST/ExprCXX.h" 211a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek#include "clang/AST/ExprObjC.h" 229b663716449b618ba0390b1dbebc54fa8e971124Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h" 239b663716449b618ba0390b1dbebc54fa8e971124Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h" 249b663716449b618ba0390b1dbebc54fa8e971124Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 25e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 26e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremeneknamespace clang { 27c35fb7d67d515659ad2325b4f6ec97c9fe64fb63Benjamin Kramer 28c35fb7d67d515659ad2325b4f6ec97c9fe64fb63Benjamin Kramerclass CXXBoolLiteralExpr; 29c35fb7d67d515659ad2325b4f6ec97c9fe64fb63Benjamin Kramer 309ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremeneknamespace ento { 315a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 32846eabd187be4bfe992e8bca131166b734d86e0dTed Kremenekclass SValBuilder { 3399ba9e3bd70671f3441fb974895f226a83ce0e66David Blaikie virtual void anchor(); 34e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenekprotected: 35c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ASTContext &Context; 36c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 37c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// Manager of APSInt values. 38c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek BasicValueFactory BasicVals; 39c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 40c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// Manages the creation of symbols. 41c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek SymbolManager SymMgr; 42c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 43c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// Manages the creation of memory regions. 44c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek MemRegionManager MemMgr; 45c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 4618c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek ProgramStateManager &StateMgr; 47c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 48c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// The scalar type to use for array indices. 49c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const QualType ArrayIndexTy; 50c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 51c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// The width of the scalar type used for array indices. 52c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const unsigned ArrayIndexWidth; 5332c3fa4195762ba93f0b7114ab36c0941bc34432Ted Kremenek 54aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0; 55aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0; 56aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks 57c50e6df965ff264952d8d5805d151f89c89af302Ted Kremenekpublic: 589f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan // FIXME: Make these protected again once RegionStoreManager correctly 599f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan // handles loads from different bound value types. 60aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks virtual SVal dispatchCast(SVal val, QualType castTy) = 0; 6132c3fa4195762ba93f0b7114ab36c0941bc34432Ted Kremenek 62e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenekpublic: 63c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, 6418c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek ProgramStateManager &stateMgr) 65c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek : Context(context), BasicVals(context, alloc), 66c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek SymMgr(context, BasicVals, alloc), 67c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek MemMgr(context, alloc), 68c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek StateMgr(stateMgr), 69c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ArrayIndexTy(context.IntTy), 70c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ArrayIndexWidth(context.getTypeSize(ArrayIndexTy)) {} 71c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 72846eabd187be4bfe992e8bca131166b734d86e0dTed Kremenek virtual ~SValBuilder() {} 731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 74432a4558b8161c362efc319f8a38e074e74da201Anna Zaks bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) { 75432a4558b8161c362efc319f8a38e074e74da201Anna Zaks return haveSameType(Sym1->getType(Context), Sym2->getType(Context)); 76432a4558b8161c362efc319f8a38e074e74da201Anna Zaks } 77432a4558b8161c362efc319f8a38e074e74da201Anna Zaks 78432a4558b8161c362efc319f8a38e074e74da201Anna Zaks bool haveSameType(QualType Ty1, QualType Ty2) { 79432a4558b8161c362efc319f8a38e074e74da201Anna Zaks // FIXME: Remove the second disjunct when we support symbolic 80432a4558b8161c362efc319f8a38e074e74da201Anna Zaks // truncation/extension. 81432a4558b8161c362efc319f8a38e074e74da201Anna Zaks return (Context.getCanonicalType(Ty1) == Context.getCanonicalType(Ty2) || 82009072fd2223c823032b804c64ca7b4c7c3badc4Benjamin Kramer (Ty1->isIntegerType() && Ty2->isIntegerType())); 83432a4558b8161c362efc319f8a38e074e74da201Anna Zaks } 84432a4558b8161c362efc319f8a38e074e74da201Anna Zaks 859f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan SVal evalCast(SVal val, QualType castTy, QualType originalType); 865b9bd2137ebef350af803c634e3fdf5d74678100Ted Kremenek 879c14953d0c84f7cf5adfb4cd3c0f05a9b1723c1cTed Kremenek virtual SVal evalMinus(NonLoc val) = 0; 881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 899c14953d0c84f7cf5adfb4cd3c0f05a9b1723c1cTed Kremenek virtual SVal evalComplement(NonLoc val) = 0; 90e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 910d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// Create a new value which represents a binary expression with two non 920d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// location operands. 938bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, 94cd8f6ac9b613e1fe962ebf9c87d822ce765275e6Ted Kremenek NonLoc lhs, NonLoc rhs, QualType resultTy) = 0; 95e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 960d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// Create a new value which represents a binary expression with two memory 970d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// location operands. 988bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek virtual SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op, 99eac4a00e1d93aa963903031ed76425c231f0f0b9Jordy Rose Loc lhs, Loc rhs, QualType resultTy) = 0; 100e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 1010d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// Create a new value which represents a binary expression with a memory 1020d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// location and non location operands. For example, this would be used to 1030d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// evaluate a pointer arithmetic operation. 1048bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op, 1051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Loc lhs, NonLoc rhs, QualType resultTy) = 0; 10632f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 1070d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// Evaluates a given SVal. If the SVal has only one possible (integer) value, 1080d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// that value is returned. Otherwise, returns NULL. 1098bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0; 1105b9bd2137ebef350af803c634e3fdf5d74678100Ted Kremenek 111e2241cbb0455a60ba27d6c4b9d601ffef3ed103fAnna Zaks /// Constructs a symbolic expression for two non-location values. 112e2241cbb0455a60ba27d6c4b9d601ffef3ed103fAnna Zaks SVal makeSymExprValNN(ProgramStateRef state, BinaryOperator::Opcode op, 113e2241cbb0455a60ba27d6c4b9d601ffef3ed103fAnna Zaks NonLoc lhs, NonLoc rhs, QualType resultTy); 1140d339d06f8721d14befd6311bd306ac485772188Anna Zaks 1158bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, 1169f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan SVal lhs, SVal rhs, QualType type); 1175b9bd2137ebef350af803c634e3fdf5d74678100Ted Kremenek 1188bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs, 1199f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedOrUnknownSVal rhs); 120c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 121c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ASTContext &getContext() { return Context; } 122c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const ASTContext &getContext() const { return Context; } 123c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 12418c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek ProgramStateManager &getStateManager() { return StateMgr; } 1256bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek 1266bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek QualType getConditionType() const { 1276bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek return getContext().IntTy; 1286bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek } 1296bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek 1306bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek QualType getArrayIndexType() const { 1316bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek return ArrayIndexTy; 1326bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek } 133c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 134c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek BasicValueFactory &getBasicValueFactory() { return BasicVals; } 135c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } 136c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 137c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek SymbolManager &getSymbolManager() { return SymMgr; } 138c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const SymbolManager &getSymbolManager() const { return SymMgr; } 139c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 140c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek MemRegionManager &getRegionManager() { return MemMgr; } 141c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const MemRegionManager &getRegionManager() const { return MemMgr; } 142c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 143c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek // Forwarding methods to SymbolManager. 144c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1453b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const SymbolConjured* conjureSymbol(const Stmt *stmt, 1463b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const LocationContext *LCtx, 1473b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek QualType type, 1483b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek unsigned visitCount, 1493b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const void *symbolTag = 0) { 1503b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag); 151c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 152c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1533b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const SymbolConjured* conjureSymbol(const Expr *expr, 1543b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const LocationContext *LCtx, 1553b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek unsigned visitCount, 1563b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const void *symbolTag = 0) { 1573b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag); 158c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 159c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 160426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// Construct an SVal representing '0' for the specified type. 1619f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedOrUnknownSVal makeZeroVal(QualType type); 162c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 163426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// Make a unique symbol for value of region. 1649697934650354bed2e509d8e7e44f21a1fb00f76Ted Kremenek DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region); 165c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 166426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// \brief Create a new symbol with a unique 'name'. 167426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// 168426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// We resort to conjured symbols when we cannot construct a derived symbol. 169426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// The advantage of symbols derived/built from other symbols is that we 170426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// preserve the relation between related(or even equivalent) expressions, so 171426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// conjured symbols should be used sparingly. 1723b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag, 1733b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const Expr *expr, 1743b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const LocationContext *LCtx, 1753b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek unsigned count); 1763b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag, 1773b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const Expr *expr, 1783b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const LocationContext *LCtx, 1793b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek QualType type, 1803b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek unsigned count); 181337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek 1823b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt, 1833b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek const LocationContext *LCtx, 1843b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek QualType type, 1853b1df8bb941a18c4a7256d7cfcbccb9de7e39995Ted Kremenek unsigned visitCount); 186e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks /// \brief Conjure a symbol representing heap allocated memory region. 187e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks /// 188e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks /// Note, the expression should represent a location. 189e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks DefinedOrUnknownSVal getConjuredHeapSymbolVal(const Expr *E, 190e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks const LocationContext *LCtx, 191e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks unsigned Count); 192c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1939f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedOrUnknownSVal getDerivedRegionValueSymbolVal( 1949697934650354bed2e509d8e7e44f21a1fb00f76Ted Kremenek SymbolRef parentSymbol, const TypedValueRegion *region); 195c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1969f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedSVal getMetadataSymbolVal( 1979f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const void *symbolTag, const MemRegion *region, 1989f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const Expr *expr, QualType type, unsigned count); 199c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2009f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedSVal getFunctionPointer(const FunctionDecl *func); 201c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2029f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy, 2039f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const LocationContext *locContext); 204c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2059f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) { 2069f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); 207c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 208c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2099697934650354bed2e509d8e7e44f21a1fb00f76Ted Kremenek NonLoc makeLazyCompoundVal(const StoreRef &store, 2109697934650354bed2e509d8e7e44f21a1fb00f76Ted Kremenek const TypedValueRegion *region) { 2119f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::LazyCompoundVal( 2129f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan BasicVals.getLazyCompoundValData(store, region)); 213c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 214c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 215c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek NonLoc makeZeroArrayIndex() { 216c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); 217c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 218c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 219c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek NonLoc makeArrayIndex(uint64_t idx) { 220c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); 221c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 222c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2239f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan SVal convertToArrayIndex(SVal val); 224c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2259f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { 2269f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt( 2279f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan BasicVals.getValue(integer->getValue(), 2285e9ebb3c0fb554d9285aa99c470abdf283272bd9Douglas Gregor integer->getType()->isUnsignedIntegerOrEnumerationType())); 229c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 2301a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek 2311a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) { 2321a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek return makeTruthVal(boolean->getValue(), boolean->getType()); 2331a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek } 234c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 235c35fb7d67d515659ad2325b4f6ec97c9fe64fb63Benjamin Kramer nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean); 236c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2379f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { 2389f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getValue(integer)); 239c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 240c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2419f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { 2429f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::ConcreteInt(BasicVals.getValue(integer)); 243c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 244c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2459f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { 2469f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getValue(integer, isUnsigned)); 247c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 248c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2499f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedSVal makeIntVal(uint64_t integer, QualType type) { 2509f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan if (Loc::isLocType(type)) 2519f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::ConcreteInt(BasicVals.getValue(integer, type)); 252c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2539f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getValue(integer, type)); 254c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 255c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2569f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { 2579f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getIntValue(integer, isUnsigned)); 258c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 259c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2609f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeIntValWithPtrWidth(uint64_t integer, bool isUnsigned) { 2619f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt( 2629f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan BasicVals.getIntWithPtrWidth(integer, isUnsigned)); 263c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 264c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2659f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeLocAsInteger(Loc loc, unsigned bits) { 2669f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); 267c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 268c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 269c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 2709f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const llvm::APSInt& rhs, QualType type); 271c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2726d6a83c3754b449ac24cb83bc6d3a50b10535061Anna Zaks NonLoc makeNonLoc(const llvm::APSInt& rhs, BinaryOperator::Opcode op, 2736d6a83c3754b449ac24cb83bc6d3a50b10535061Anna Zaks const SymExpr *lhs, QualType type); 2746d6a83c3754b449ac24cb83bc6d3a50b10535061Anna Zaks 275c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 2769f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const SymExpr *rhs, QualType type); 277c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 278aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks /// \brief Create a NonLoc value for cast. 279aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks NonLoc makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy); 280aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks 2819f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { 2829f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getTruthValue(b, type)); 283c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 284c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 285370e6e984cc32167228b66eaf9610c010da0d794Argyrios Kyrtzidis nonloc::ConcreteInt makeTruthVal(bool b) { 286c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); 287c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 288c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 289c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek Loc makeNull() { 290c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return loc::ConcreteInt(BasicVals.getZeroWithPtrWidth()); 291c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 292c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2939f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan Loc makeLoc(SymbolRef sym) { 2949f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 295c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 296c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2979f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan Loc makeLoc(const MemRegion* region) { 2989f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::MemRegionVal(region); 299c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 300c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 3019f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan Loc makeLoc(const AddrLabelExpr *expr) { 3029f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::GotoLabel(expr->getLabel()); 303c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 304c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 3059f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan Loc makeLoc(const llvm::APSInt& integer) { 3069f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::ConcreteInt(BasicVals.getValue(integer)); 307c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 308c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 30910f77ad7fc5e5cf3f37a9b14ff5843468b8b84d2Ted Kremenek /// Return a memory region for the 'this' object reference. 31010f77ad7fc5e5cf3f37a9b14ff5843468b8b84d2Ted Kremenek loc::MemRegionVal getCXXThis(const CXXMethodDecl *D, 31110f77ad7fc5e5cf3f37a9b14ff5843468b8b84d2Ted Kremenek const StackFrameContext *SFC); 31210f77ad7fc5e5cf3f37a9b14ff5843468b8b84d2Ted Kremenek 31310f77ad7fc5e5cf3f37a9b14ff5843468b8b84d2Ted Kremenek /// Return a memory region for the 'this' object reference. 31410f77ad7fc5e5cf3f37a9b14ff5843468b8b84d2Ted Kremenek loc::MemRegionVal getCXXThis(const CXXRecordDecl *D, 31510f77ad7fc5e5cf3f37a9b14ff5843468b8b84d2Ted Kremenek const StackFrameContext *SFC); 316e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek}; 3171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 318c8413fd03f73084a5c93028f8b4db619fc388087Ted KremenekSValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, 319c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ASTContext &context, 32018c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek ProgramStateManager &stateMgr); 3211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3225a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis} // end GR namespace 3235a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 324e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek} // end clang namespace 3255a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 326e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek#endif 327