SValBuilder.h revision e17fdb2d5dbf0ffefd417587003eebbe5baf5984
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 18e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek#include "clang/AST/Expr.h" 191a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek#include "clang/AST/ExprCXX.h" 201a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek#include "clang/AST/ExprObjC.h" 219b663716449b618ba0390b1dbebc54fa8e971124Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h" 229b663716449b618ba0390b1dbebc54fa8e971124Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h" 239b663716449b618ba0390b1dbebc54fa8e971124Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 24e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 25e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremeneknamespace clang { 26c35fb7d67d515659ad2325b4f6ec97c9fe64fb63Benjamin Kramer 27c35fb7d67d515659ad2325b4f6ec97c9fe64fb63Benjamin Kramerclass CXXBoolLiteralExpr; 28c35fb7d67d515659ad2325b4f6ec97c9fe64fb63Benjamin Kramer 299ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremeneknamespace ento { 305a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 31846eabd187be4bfe992e8bca131166b734d86e0dTed Kremenekclass SValBuilder { 3299ba9e3bd70671f3441fb974895f226a83ce0e66David Blaikie virtual void anchor(); 33e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenekprotected: 34c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ASTContext &Context; 35c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 36c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// Manager of APSInt values. 37c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek BasicValueFactory BasicVals; 38c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 39c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// Manages the creation of symbols. 40c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek SymbolManager SymMgr; 41c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 42c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// Manages the creation of memory regions. 43c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek MemRegionManager MemMgr; 44c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 4518c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek ProgramStateManager &StateMgr; 46c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 47c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// The scalar type to use for array indices. 48c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const QualType ArrayIndexTy; 49c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 50c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek /// The width of the scalar type used for array indices. 51c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const unsigned ArrayIndexWidth; 5232c3fa4195762ba93f0b7114ab36c0941bc34432Ted Kremenek 53aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0; 54aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0; 55aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks 56c50e6df965ff264952d8d5805d151f89c89af302Ted Kremenekpublic: 579f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan // FIXME: Make these protected again once RegionStoreManager correctly 589f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan // handles loads from different bound value types. 59aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks virtual SVal dispatchCast(SVal val, QualType castTy) = 0; 6032c3fa4195762ba93f0b7114ab36c0941bc34432Ted Kremenek 61e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenekpublic: 62c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, 6318c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek ProgramStateManager &stateMgr) 64c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek : Context(context), BasicVals(context, alloc), 65c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek SymMgr(context, BasicVals, alloc), 66c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek MemMgr(context, alloc), 67c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek StateMgr(stateMgr), 68c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ArrayIndexTy(context.IntTy), 69c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ArrayIndexWidth(context.getTypeSize(ArrayIndexTy)) {} 70c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 71846eabd187be4bfe992e8bca131166b734d86e0dTed Kremenek virtual ~SValBuilder() {} 721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 73432a4558b8161c362efc319f8a38e074e74da201Anna Zaks bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) { 74432a4558b8161c362efc319f8a38e074e74da201Anna Zaks return haveSameType(Sym1->getType(Context), Sym2->getType(Context)); 75432a4558b8161c362efc319f8a38e074e74da201Anna Zaks } 76432a4558b8161c362efc319f8a38e074e74da201Anna Zaks 77432a4558b8161c362efc319f8a38e074e74da201Anna Zaks bool haveSameType(QualType Ty1, QualType Ty2) { 78432a4558b8161c362efc319f8a38e074e74da201Anna Zaks // FIXME: Remove the second disjunct when we support symbolic 79432a4558b8161c362efc319f8a38e074e74da201Anna Zaks // truncation/extension. 80432a4558b8161c362efc319f8a38e074e74da201Anna Zaks return (Context.getCanonicalType(Ty1) == Context.getCanonicalType(Ty2) || 81009072fd2223c823032b804c64ca7b4c7c3badc4Benjamin Kramer (Ty1->isIntegerType() && Ty2->isIntegerType())); 82432a4558b8161c362efc319f8a38e074e74da201Anna Zaks } 83432a4558b8161c362efc319f8a38e074e74da201Anna Zaks 849f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan SVal evalCast(SVal val, QualType castTy, QualType originalType); 855b9bd2137ebef350af803c634e3fdf5d74678100Ted Kremenek 869c14953d0c84f7cf5adfb4cd3c0f05a9b1723c1cTed Kremenek virtual SVal evalMinus(NonLoc val) = 0; 871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 889c14953d0c84f7cf5adfb4cd3c0f05a9b1723c1cTed Kremenek virtual SVal evalComplement(NonLoc val) = 0; 89e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 900d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// Create a new value which represents a binary expression with two non 910d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// location operands. 928bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, 93cd8f6ac9b613e1fe962ebf9c87d822ce765275e6Ted Kremenek NonLoc lhs, NonLoc rhs, QualType resultTy) = 0; 94e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 950d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// Create a new value which represents a binary expression with two memory 960d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// location operands. 978bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek virtual SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op, 98eac4a00e1d93aa963903031ed76425c231f0f0b9Jordy Rose Loc lhs, Loc rhs, QualType resultTy) = 0; 99e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek 1000d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// Create a new value which represents a binary expression with a memory 1010d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// location and non location operands. For example, this would be used to 1020d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// evaluate a pointer arithmetic operation. 1038bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op, 1041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Loc lhs, NonLoc rhs, QualType resultTy) = 0; 10532f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 1060d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// Evaluates a given SVal. If the SVal has only one possible (integer) value, 1070d339d06f8721d14befd6311bd306ac485772188Anna Zaks /// that value is returned. Otherwise, returns NULL. 1088bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0; 1095b9bd2137ebef350af803c634e3fdf5d74678100Ted Kremenek 110e2241cbb0455a60ba27d6c4b9d601ffef3ed103fAnna Zaks /// Constructs a symbolic expression for two non-location values. 111e2241cbb0455a60ba27d6c4b9d601ffef3ed103fAnna Zaks SVal makeSymExprValNN(ProgramStateRef state, BinaryOperator::Opcode op, 112e2241cbb0455a60ba27d6c4b9d601ffef3ed103fAnna Zaks NonLoc lhs, NonLoc rhs, QualType resultTy); 1130d339d06f8721d14befd6311bd306ac485772188Anna Zaks 1148bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, 1159f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan SVal lhs, SVal rhs, QualType type); 1165b9bd2137ebef350af803c634e3fdf5d74678100Ted Kremenek 1178bef8238181a30e52dea380789a7e2d760eac532Ted Kremenek DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs, 1189f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedOrUnknownSVal rhs); 119c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 120c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ASTContext &getContext() { return Context; } 121c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const ASTContext &getContext() const { return Context; } 122c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 12318c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek ProgramStateManager &getStateManager() { return StateMgr; } 1246bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek 1256bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek QualType getConditionType() const { 1266bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek return getContext().IntTy; 1276bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek } 1286bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek 1296bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek QualType getArrayIndexType() const { 1306bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek return ArrayIndexTy; 1316bd8124f53d6694ef0de1713f06325893c0ea2caTed Kremenek } 132c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 133c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek BasicValueFactory &getBasicValueFactory() { return BasicVals; } 134c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } 135c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 136c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek SymbolManager &getSymbolManager() { return SymMgr; } 137c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const SymbolManager &getSymbolManager() const { return SymMgr; } 138c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 139c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek MemRegionManager &getRegionManager() { return MemMgr; } 140c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek const MemRegionManager &getRegionManager() const { return MemMgr; } 141c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 142c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek // Forwarding methods to SymbolManager. 143c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1443133f79cf451e6302dd05262b4bb53a3e4fd6300Ted Kremenek const SymbolConjured* getConjuredSymbol(const Stmt *stmt, 145337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek const LocationContext *LCtx, 146337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek QualType type, 1479f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan unsigned visitCount, 1489c378f705405d37f49795d5e915989de774fe11fTed Kremenek const void *symbolTag = 0) { 1493133f79cf451e6302dd05262b4bb53a3e4fd6300Ted Kremenek return SymMgr.getConjuredSymbol(stmt, LCtx, type, visitCount, symbolTag); 150c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 151c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1523133f79cf451e6302dd05262b4bb53a3e4fd6300Ted Kremenek const SymbolConjured* getConjuredSymbol(const Expr *expr, 153337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek const LocationContext *LCtx, 154337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek unsigned visitCount, 1559c378f705405d37f49795d5e915989de774fe11fTed Kremenek const void *symbolTag = 0) { 1563133f79cf451e6302dd05262b4bb53a3e4fd6300Ted Kremenek return SymMgr.getConjuredSymbol(expr, LCtx, visitCount, symbolTag); 157c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 158c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 159426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// Construct an SVal representing '0' for the specified type. 1609f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedOrUnknownSVal makeZeroVal(QualType type); 161c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 162426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// Make a unique symbol for value of region. 1639697934650354bed2e509d8e7e44f21a1fb00f76Ted Kremenek DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region); 164c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 165426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// \brief Create a new symbol with a unique 'name'. 166426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// 167426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// We resort to conjured symbols when we cannot construct a derived symbol. 168426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// The advantage of symbols derived/built from other symbols is that we 169426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// preserve the relation between related(or even equivalent) expressions, so 170426a16d4e5efe7efefe76c405207fb170cabad9fAnna Zaks /// conjured symbols should be used sparingly. 1719f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedOrUnknownSVal getConjuredSymbolVal(const void *symbolTag, 1723133f79cf451e6302dd05262b4bb53a3e4fd6300Ted Kremenek const Expr *expr, 173337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek const LocationContext *LCtx, 174337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek unsigned count); 1759f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedOrUnknownSVal getConjuredSymbolVal(const void *symbolTag, 1763133f79cf451e6302dd05262b4bb53a3e4fd6300Ted Kremenek const Expr *expr, 177337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek const LocationContext *LCtx, 178337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek QualType type, 1799f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan unsigned count); 180337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek 181337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek DefinedOrUnknownSVal getConjuredSymbolVal(const Stmt *stmt, 182337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek const LocationContext *LCtx, 183337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek QualType type, 184337e4dbc6859589b8878146a88bebf754e916702Ted Kremenek unsigned visitCount); 185e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks /// \brief Conjure a symbol representing heap allocated memory region. 186e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks /// 187e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks /// Note, the expression should represent a location. 188e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks DefinedOrUnknownSVal getConjuredHeapSymbolVal(const Expr *E, 189e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks const LocationContext *LCtx, 190e17fdb2d5dbf0ffefd417587003eebbe5baf5984Anna Zaks unsigned Count); 191c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1929f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedOrUnknownSVal getDerivedRegionValueSymbolVal( 1939697934650354bed2e509d8e7e44f21a1fb00f76Ted Kremenek SymbolRef parentSymbol, const TypedValueRegion *region); 194c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1959f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedSVal getMetadataSymbolVal( 1969f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const void *symbolTag, const MemRegion *region, 1979f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const Expr *expr, QualType type, unsigned count); 198c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 1999f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedSVal getFunctionPointer(const FunctionDecl *func); 200c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2019f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy, 2029f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const LocationContext *locContext); 203c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2049f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) { 2059f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); 206c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 207c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2089697934650354bed2e509d8e7e44f21a1fb00f76Ted Kremenek NonLoc makeLazyCompoundVal(const StoreRef &store, 2099697934650354bed2e509d8e7e44f21a1fb00f76Ted Kremenek const TypedValueRegion *region) { 2109f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::LazyCompoundVal( 2119f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan BasicVals.getLazyCompoundValData(store, region)); 212c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 213c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 214c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek NonLoc makeZeroArrayIndex() { 215c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); 216c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 217c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 218c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek NonLoc makeArrayIndex(uint64_t idx) { 219c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); 220c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 221c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2229f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan SVal convertToArrayIndex(SVal val); 223c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2249f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { 2259f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt( 2269f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan BasicVals.getValue(integer->getValue(), 2275e9ebb3c0fb554d9285aa99c470abdf283272bd9Douglas Gregor integer->getType()->isUnsignedIntegerOrEnumerationType())); 228c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 2291a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek 2301a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) { 2311a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek return makeTruthVal(boolean->getValue(), boolean->getType()); 2321a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek } 233c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 234c35fb7d67d515659ad2325b4f6ec97c9fe64fb63Benjamin Kramer nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean); 235c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2369f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { 2379f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getValue(integer)); 238c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 239c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2409f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { 2419f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::ConcreteInt(BasicVals.getValue(integer)); 242c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 243c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2449f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { 2459f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getValue(integer, isUnsigned)); 246c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 247c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2489f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan DefinedSVal makeIntVal(uint64_t integer, QualType type) { 2499f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan if (Loc::isLocType(type)) 2509f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::ConcreteInt(BasicVals.getValue(integer, type)); 251c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2529f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getValue(integer, type)); 253c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 254c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2559f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { 2569f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getIntValue(integer, isUnsigned)); 257c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 258c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2599f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeIntValWithPtrWidth(uint64_t integer, bool isUnsigned) { 2609f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt( 2619f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan BasicVals.getIntWithPtrWidth(integer, isUnsigned)); 262c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 263c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2649f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeIntVal(uint64_t integer, unsigned bitWidth, bool isUnsigned) { 2659f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt( 2669f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan BasicVals.getValue(integer, bitWidth, isUnsigned)); 267c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 268c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2699f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan NonLoc makeLocAsInteger(Loc loc, unsigned bits) { 2709f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); 271c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 272c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 273c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 2749f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const llvm::APSInt& rhs, QualType type); 275c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2766d6a83c3754b449ac24cb83bc6d3a50b10535061Anna Zaks NonLoc makeNonLoc(const llvm::APSInt& rhs, BinaryOperator::Opcode op, 2776d6a83c3754b449ac24cb83bc6d3a50b10535061Anna Zaks const SymExpr *lhs, QualType type); 2786d6a83c3754b449ac24cb83bc6d3a50b10535061Anna Zaks 279c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 2809f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan const SymExpr *rhs, QualType type); 281c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 282aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks /// \brief Create a NonLoc value for cast. 283aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks NonLoc makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy); 284aace9ef279be3dadd53b481aee568bd7701178b4Anna Zaks 2859f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { 2869f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return nonloc::ConcreteInt(BasicVals.getTruthValue(b, type)); 287c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 288c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 289370e6e984cc32167228b66eaf9610c010da0d794Argyrios Kyrtzidis nonloc::ConcreteInt makeTruthVal(bool b) { 290c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); 291c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 292c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 293c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek Loc makeNull() { 294c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek return loc::ConcreteInt(BasicVals.getZeroWithPtrWidth()); 295c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 296c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 2979f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan Loc makeLoc(SymbolRef sym) { 2989f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym)); 299c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 300c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 3019f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan Loc makeLoc(const MemRegion* region) { 3029f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::MemRegionVal(region); 303c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 304c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 3059f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan Loc makeLoc(const AddrLabelExpr *expr) { 3069f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::GotoLabel(expr->getLabel()); 307c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 308c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 3099f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan Loc makeLoc(const llvm::APSInt& integer) { 3109f8862aa64300ef97b8fe85034ee93bbc03e3b7bZhanyong Wan return loc::ConcreteInt(BasicVals.getValue(integer)); 311c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek } 312c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek 313e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek}; 3141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 315c8413fd03f73084a5c93028f8b4db619fc388087Ted KremenekSValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, 316c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek ASTContext &context, 31718c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek ProgramStateManager &stateMgr); 3181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3195a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis} // end GR namespace 3205a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 321e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek} // end clang namespace 3225a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 323e74eaef9b550c002e59dfc57c0dd640a5f129e8eTed Kremenek#endif 324