MemRegion.h revision 9ff2b13aee0f89d23ef4820218f9b88bb5e5c1c1
19e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek//== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==// 29e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// 39e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// The LLVM Compiler Infrastructure 49e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// 59e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// This file is distributed under the University of Illinois Open Source 69e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// License. See LICENSE.TXT for details. 79e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// 89e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek//===----------------------------------------------------------------------===// 99e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// 109e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// This file defines MemRegion and its subclasses. MemRegion defines a 119e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// partially-typed abstraction of memory useful for path-sensitive dataflow 129e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// analyses. 139e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// 149e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek//===----------------------------------------------------------------------===// 159e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 165a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis#ifndef LLVM_CLANG_GR_MEMREGION_H 175a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis#define LLVM_CLANG_GR_MEMREGION_H 189e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 199ff2b13aee0f89d23ef4820218f9b88bb5e5c1c1Ken Dyck#include "clang/AST/CharUnits.h" 20993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek#include "clang/AST/Decl.h" 21993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek#include "clang/AST/DeclObjC.h" 2221142581d55918beed544a757e4af3bb865b1812Ted Kremenek#include "clang/StaticAnalyzer/PathSensitive/SVals.h" 239e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek#include "llvm/Support/Casting.h" 249c1845dbed9817520f5a7db8bd80a560c6c6ae6bArgyrios Kyrtzidis#include "llvm/Support/ErrorHandling.h" 259e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek#include "llvm/ADT/FoldingSet.h" 269e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek#include <string> 279e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 285e2d2c2ee3cf410643e0f9a5701708e51409d973Benjamin Kramernamespace llvm { 295e2d2c2ee3cf410643e0f9a5701708e51409d973Benjamin Kramerclass BumpPtrAllocator; 305e2d2c2ee3cf410643e0f9a5701708e51409d973Benjamin Kramerclass raw_ostream; 315e2d2c2ee3cf410643e0f9a5701708e51409d973Benjamin Kramer} 329e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 339e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremeneknamespace clang { 341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 35d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenekclass LocationContext; 3667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass StackFrameContext; 375a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 389ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremeneknamespace ento { 395a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 405a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidisclass MemRegionManager; 415a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidisclass MemSpaceRegion; 42c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenekclass SValBuilder; 434240096011a187807058f887eb81df750ffa17feTed Kremenekclass VarRegion; 44dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekclass CodeTextRegion; 451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 46e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu/// Represent a region's offset within the top level base region. 47e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xuclass RegionOffset { 48e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu /// The base region. 49e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu const MemRegion *R; 50e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 51e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu /// The bit offset within the base region. It shouldn't be negative. 52e3273e78da4716f9c999ae207f6898f376a6e1a4Zhongxing Xu int64_t Offset; 53e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 54e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xupublic: 55e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu RegionOffset(const MemRegion *r) : R(r), Offset(0) {} 56e3273e78da4716f9c999ae207f6898f376a6e1a4Zhongxing Xu RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} 57e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 58e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu const MemRegion *getRegion() const { return R; } 59e3273e78da4716f9c999ae207f6898f376a6e1a4Zhongxing Xu int64_t getOffset() const { return Offset; } 60e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu}; 61e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 6219e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek//===----------------------------------------------------------------------===// 6319e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek// Base region classes. 6419e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek//===----------------------------------------------------------------------===// 651eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 669e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek/// MemRegion - The root abstract class for all memory regions. 679e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass MemRegion : public llvm::FoldingSetNode { 684240096011a187807058f887eb81df750ffa17feTed Kremenek friend class MemRegionManager; 699e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 7067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek enum Kind { 7167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek // Memory spaces. 72dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek GenericMemSpaceRegionKind, 7367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackLocalsSpaceRegionKind, 7467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackArgumentsSpaceRegionKind, 7567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek HeapSpaceRegionKind, 762b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek UnknownSpaceRegionKind, 77dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek NonStaticGlobalSpaceRegionKind, 78dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek StaticGlobalSpaceRegionKind, 79dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek BEG_GLOBAL_MEMSPACES = NonStaticGlobalSpaceRegionKind, 80dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek END_GLOBAL_MEMSPACES = StaticGlobalSpaceRegionKind, 81dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek BEG_MEMSPACES = GenericMemSpaceRegionKind, 82dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek END_MEMSPACES = StaticGlobalSpaceRegionKind, 8367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek // Untyped regions. 8467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek SymbolicRegionKind, 8567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AllocaRegionKind, 8667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek // Typed regions. 8767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BEG_TYPED_REGIONS, 8867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek FunctionTextRegionKind = BEG_TYPED_REGIONS, 8967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BlockTextRegionKind, 9067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BlockDataRegionKind, 9167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek CompoundLiteralRegionKind, 92de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek CXXThisRegionKind, 9367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StringRegionKind, 9467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek ElementRegionKind, 9567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek // Decl Regions. 9667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BEG_DECL_REGIONS, 9767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek VarRegionKind = BEG_DECL_REGIONS, 9867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek FieldRegionKind, 9967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek ObjCIvarRegionKind, 1004fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu END_DECL_REGIONS = ObjCIvarRegionKind, 10102fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu CXXTempObjectRegionKind, 1024fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu CXXBaseObjectRegionKind, 103755f6bcfd7ee68b7d51589e9bb259ebbe60add72Zhongxing Xu END_TYPED_REGIONS = CXXBaseObjectRegionKind 10467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek }; 10567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 1069e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekprivate: 1079e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const Kind kind; 1081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1099e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekprotected: 1109e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek MemRegion(Kind k) : kind(k) {} 1119e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek virtual ~MemRegion(); 1129e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 1139e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 114a6275a534da701f37d19a068e6361e5f10f983a1Ted Kremenek ASTContext &getContext() const; 1151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1169e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek virtual void Profile(llvm::FoldingSetNodeID& ID) const = 0; 117a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek 118a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek virtual MemRegionManager* getMemRegionManager() const = 0; 119a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek 1209e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek std::string getString() const; 1211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 122bb7c96f290453104ec35ca17111a5165f68a4697Ted Kremenek const MemSpaceRegion *getMemorySpace() const; 1231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 124adca27102ff733c7d42fcbbc2c7e134a7fc026f9Zhongxing Xu const MemRegion *getBaseRegion() const; 125adca27102ff733c7d42fcbbc2c7e134a7fc026f9Zhongxing Xu 126479529e679957fbb92b56e116e3c86734429331eZhongxing Xu const MemRegion *StripCasts() const; 1271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1281508636e99faddf569a57fce82c0fb3aa2124396Ted Kremenek bool hasGlobalsOrParametersStorage() const; 1291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 130de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek bool hasStackStorage() const; 131de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 132de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek bool hasStackNonParametersStorage() const; 133de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 134de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek bool hasStackParametersStorage() const; 135b21ff77c8126ea628b66d2ffb931fdaa7884f5d2Zhongxing Xu 136e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu /// Compute the offset within the top level memory object. 137e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu RegionOffset getAsOffset() const; 138e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 1398800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek virtual void dumpToStream(llvm::raw_ostream& os) const; 1407f39d29cb69e7488f994870800d548008e50e1cbTed Kremenek 1418800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dump() const; 1421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Kind getKind() const { return kind; } 1441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 145ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenek template<typename RegionTy> const RegionTy* getAs() const; 1461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 147f0f0605c87739c906861f73d4287798a4969b1e0Zhongxing Xu virtual bool isBoundable() const { return false; } 148b21ff77c8126ea628b66d2ffb931fdaa7884f5d2Zhongxing Xu 1499e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion*) { return true; } 1509e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 1511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1529e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek/// MemSpaceRegion - A memory region that represents and "memory space"; 1539e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek/// for example, the set of global variables, the stack frame, etc. 1549e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass MemSpaceRegion : public MemRegion { 155a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenekprotected: 15667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 15767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 158a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek MemRegionManager *Mgr; 159a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek 16067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek MemSpaceRegion(MemRegionManager *mgr, Kind k = GenericMemSpaceRegionKind) 16167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : MemRegion(k), Mgr(mgr) { 16267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek assert(classof(this)); 16367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 16467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 16567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek MemRegionManager* getMemRegionManager() const { return Mgr; } 1661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 16767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 16867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek bool isBoundable() const { return false; } 16967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 17067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek void Profile(llvm::FoldingSetNodeID &ID) const; 17167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 17267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 17367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek Kind k = R->getKind(); 17467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return k >= BEG_MEMSPACES && k <= END_MEMSPACES; 175a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek } 17667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 17767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 17867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass GlobalsSpaceRegion : public MemSpaceRegion { 179dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekprotected: 180dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek GlobalsSpaceRegion(MemRegionManager *mgr, Kind k) 181dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek : MemSpaceRegion(mgr, k) {} 182dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekpublic: 183dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek static bool classof(const MemRegion *R) { 184dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek Kind k = R->getKind(); 185dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek return k >= BEG_GLOBAL_MEMSPACES && k <= END_GLOBAL_MEMSPACES; 186dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek } 187dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek}; 188dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 189dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekclass StaticGlobalSpaceRegion : public GlobalsSpaceRegion { 19067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 191a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek 192dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek const CodeTextRegion *CR; 193dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 194dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek StaticGlobalSpaceRegion(MemRegionManager *mgr, const CodeTextRegion *cr) 195dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek : GlobalsSpaceRegion(mgr, StaticGlobalSpaceRegionKind), CR(cr) {} 196dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 197dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekpublic: 198dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek void Profile(llvm::FoldingSetNodeID &ID) const; 199dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 200fa87d812d7c78d7f0cd1c5636e21e07c23c85341Ted Kremenek void dumpToStream(llvm::raw_ostream& os) const; 201fa87d812d7c78d7f0cd1c5636e21e07c23c85341Ted Kremenek 202dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek const CodeTextRegion *getCodeRegion() const { return CR; } 203dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 204dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek static bool classof(const MemRegion *R) { 205dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek return R->getKind() == StaticGlobalSpaceRegionKind; 206dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek } 207dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek}; 208dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 209dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekclass NonStaticGlobalSpaceRegion : public GlobalsSpaceRegion { 210dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek friend class MemRegionManager; 211dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 212dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek NonStaticGlobalSpaceRegion(MemRegionManager *mgr) 213dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek : GlobalsSpaceRegion(mgr, NonStaticGlobalSpaceRegionKind) {} 214dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 2159e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 216fa87d812d7c78d7f0cd1c5636e21e07c23c85341Ted Kremenek 217fa87d812d7c78d7f0cd1c5636e21e07c23c85341Ted Kremenek void dumpToStream(llvm::raw_ostream& os) const; 218fa87d812d7c78d7f0cd1c5636e21e07c23c85341Ted Kremenek 21967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 220dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek return R->getKind() == NonStaticGlobalSpaceRegionKind; 22167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 22267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 22367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 22467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass HeapSpaceRegion : public MemSpaceRegion { 22567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 22667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 22767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek HeapSpaceRegion(MemRegionManager *mgr) 22867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : MemSpaceRegion(mgr, HeapSpaceRegionKind) {} 22967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 23067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 23167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return R->getKind() == HeapSpaceRegionKind; 23267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 23367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 23467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 2352b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenekclass UnknownSpaceRegion : public MemSpaceRegion { 2362b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek friend class MemRegionManager; 2372b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek UnknownSpaceRegion(MemRegionManager *mgr) 2382b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek : MemSpaceRegion(mgr, UnknownSpaceRegionKind) {} 2392b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenekpublic: 2402b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek static bool classof(const MemRegion *R) { 2412b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek return R->getKind() == UnknownSpaceRegionKind; 2422b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek } 2432b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek}; 2442b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek 24567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass StackSpaceRegion : public MemSpaceRegion { 24667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekprivate: 24767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const StackFrameContext *SFC; 2489e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 24967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekprotected: 25067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackSpaceRegion(MemRegionManager *mgr, Kind k, const StackFrameContext *sfc) 25167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : MemSpaceRegion(mgr, k), SFC(sfc) { 25267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek assert(classof(this)); 25367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 25441168eac256fed59ec5406a75fce91c59cd5dd91Ted Kremenek 25567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 25667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const StackFrameContext *getStackFrame() const { return SFC; } 25767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 25867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek void Profile(llvm::FoldingSetNodeID &ID) const; 25967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 26067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 26167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek Kind k = R->getKind(); 26267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return k >= StackLocalsSpaceRegionKind && 26367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek k <= StackArgumentsSpaceRegionKind; 26467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 26567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 26667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 26767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass StackLocalsSpaceRegion : public StackSpaceRegion { 26867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekprivate: 26967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 27067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackLocalsSpaceRegion(MemRegionManager *mgr, const StackFrameContext *sfc) 27167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : StackSpaceRegion(mgr, StackLocalsSpaceRegionKind, sfc) {} 27267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 27367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 27467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return R->getKind() == StackLocalsSpaceRegionKind; 27567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 27667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 27767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 27867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass StackArgumentsSpaceRegion : public StackSpaceRegion { 27967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekprivate: 28067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 28167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackArgumentsSpaceRegion(MemRegionManager *mgr, const StackFrameContext *sfc) 28267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : StackSpaceRegion(mgr, StackArgumentsSpaceRegionKind, sfc) {} 28367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 28467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 28567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return R->getKind() == StackArgumentsSpaceRegionKind; 2869e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 2879e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 2889e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 2897caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 290993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek/// SubRegion - A region that subsets another larger region. Most regions 291993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek/// are subclasses of SubRegion. 292993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenekclass SubRegion : public MemRegion { 2939e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekprotected: 2941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const MemRegion* superRegion; 295993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} 2969e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 2979e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const MemRegion* getSuperRegion() const { 2989e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek return superRegion; 2999e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 3001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 30132f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose /// getExtent - Returns the size of the region in bytes. 302c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 30332f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose return UnknownVal(); 30432f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose } 30532f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 306a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek MemRegionManager* getMemRegionManager() const; 3071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3087e5d6ed47dcedce35043de59ee00464b681bc786Zhongxing Xu bool isSubRegionOf(const MemRegion* R) const; 3091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3109e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion* R) { 31167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return R->getKind() > END_MEMSPACES; 312993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek } 313993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek}; 3141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 31519e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek//===----------------------------------------------------------------------===// 31619e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek// MemRegion subclasses. 3171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump//===----------------------------------------------------------------------===// 318ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 31982bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek/// AllocaRegion - A region that represents an untyped blob of bytes created 32082bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek/// by a call to 'alloca'. 32182bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenekclass AllocaRegion : public SubRegion { 32282bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek friend class MemRegionManager; 32382bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenekprotected: 32482bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek unsigned Cnt; // Block counter. Used to distinguish different pieces of 32582bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek // memory allocated by alloca at the same call site. 32682bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek const Expr* Ex; 32782bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek 3287ae7ad9951f032d0a33b64c964f7cdcb9cc6f59bTed Kremenek AllocaRegion(const Expr* ex, unsigned cnt, const MemRegion *superRegion) 32982bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} 3301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 33182bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenekpublic: 3321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 33382bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek const Expr* getExpr() const { return Ex; } 3349852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu 3359852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu bool isBoundable() const { return true; } 3369852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu 337c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 33832f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 33982bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 34082bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek 34182bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr* Ex, 3427ae7ad9951f032d0a33b64c964f7cdcb9cc6f59bTed Kremenek unsigned Cnt, const MemRegion *superRegion); 3431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3448800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dumpToStream(llvm::raw_ostream& os) const; 3451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 34682bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek static bool classof(const MemRegion* R) { 34782bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek return R->getKind() == AllocaRegionKind; 34882bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek } 3491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump}; 3501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 351993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek/// TypedRegion - An abstract class representing regions that are typed. 352993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenekclass TypedRegion : public SubRegion { 353993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenekprotected: 354993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {} 3551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 356993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenekpublic: 357018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu virtual QualType getValueType() const = 0; 3581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 359018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu virtual QualType getLocationType() const { 3606eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek // FIXME: We can possibly optimize this later to cache this value. 361a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek QualType T = getValueType(); 362a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek ASTContext &ctx = getContext(); 363a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek if (T->getAs<ObjCObjectType>()) 364a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek return ctx.getObjCObjectPointerType(T); 365a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek return ctx.getPointerType(getValueType()); 3666eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek } 3671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 36849f4e1cbd839da27ff4814b4ea6d85a79f786cbdJohn McCall QualType getDesugaredValueType(ASTContext &Context) const { 369018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType T = getValueType(); 3701ab55e9bb87d98bff1d42c7a0ee502c64755d9f5Douglas Gregor return T.getTypePtrOrNull() ? T.getDesugaredType(Context) : T; 37114553abd17d303b0b310b3ab1523eb0d30d8121cTed Kremenek } 3721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 37349f4e1cbd839da27ff4814b4ea6d85a79f786cbdJohn McCall QualType getDesugaredLocationType(ASTContext &Context) const { 37449f4e1cbd839da27ff4814b4ea6d85a79f786cbdJohn McCall return getLocationType().getDesugaredType(Context); 37514553abd17d303b0b310b3ab1523eb0d30d8121cTed Kremenek } 3761b9b883a95215e38e153d253a46a2a2fcac25896Ted Kremenek 377cced08e13c9fba9381e39a27c70abe6978adee37Ted Kremenek bool isBoundable() const { return true; } 3786eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek 379993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek static bool classof(const MemRegion* R) { 3809e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek unsigned k = R->getKind(); 38167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return k >= BEG_TYPED_REGIONS && k <= END_TYPED_REGIONS; 3829e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 3839e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 3849e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 385ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 386eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekclass CodeTextRegion : public TypedRegion { 387eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekprotected: 388eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek CodeTextRegion(const MemRegion *sreg, Kind k) : TypedRegion(sreg, k) {} 389ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xupublic: 390018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 391018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu assert(0 && "Do not get the object type of a CodeTextRegion."); 392ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu return QualType(); 393ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu } 394eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 395eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek bool isBoundable() const { return false; } 396eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 397eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek static bool classof(const MemRegion* R) { 398eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek Kind k = R->getKind(); 399eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return k >= FunctionTextRegionKind && k <= BlockTextRegionKind; 400eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek } 401eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek}; 402ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 403eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek/// FunctionTextRegion - A region that represents code texts of function. 404eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekclass FunctionTextRegion : public CodeTextRegion { 405eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek const FunctionDecl *FD; 406eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekpublic: 407eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek FunctionTextRegion(const FunctionDecl* fd, const MemRegion* sreg) 408eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek : CodeTextRegion(sreg, FunctionTextRegionKind), FD(fd) {} 409eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 410018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getLocationType() const { 411018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu return getContext().getPointerType(FD->getType()); 412ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu } 413eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 414abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenek const FunctionDecl *getDecl() const { 415abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenek return FD; 41672e032004b0d2c2c298e8e4f7027f23a21c0cc7dTed Kremenek } 417eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 4188800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek virtual void dumpToStream(llvm::raw_ostream& os) const; 419eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 420ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu void Profile(llvm::FoldingSetNodeID& ID) const; 421eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 422abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const FunctionDecl *FD, 423abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenek const MemRegion*); 424eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 425ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu static bool classof(const MemRegion* R) { 426eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return R->getKind() == FunctionTextRegionKind; 427eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek } 428eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek}; 429eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 430eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 431eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek/// BlockTextRegion - A region that represents code texts of blocks (closures). 4320a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// Blocks are represented with two kinds of regions. BlockTextRegions 4330a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// represent the "code", while BlockDataRegions represent instances of blocks, 4340a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// which correspond to "code+data". The distinction is important, because 4350a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// like a closure a block captures the values of externally referenced 4360a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// variables. 437eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekclass BlockTextRegion : public CodeTextRegion { 43867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 43967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 440eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek const BlockDecl *BD; 44167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AnalysisContext *AC; 442eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek CanQualType locTy; 44367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 44467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BlockTextRegion(const BlockDecl *bd, CanQualType lTy, 44567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AnalysisContext *ac, const MemRegion* sreg) 44667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : CodeTextRegion(sreg, BlockTextRegionKind), BD(bd), AC(ac), locTy(lTy) {} 44767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 44867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 449018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getLocationType() const { 450eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return locTy; 451eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek } 452eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 453eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek const BlockDecl *getDecl() const { 454eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return BD; 455eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek } 45667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 45767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AnalysisContext *getAnalysisContext() const { return AC; } 458eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 459eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek virtual void dumpToStream(llvm::raw_ostream& os) const; 460eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 461eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 462eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 463eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const BlockDecl *BD, 46467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek CanQualType, const AnalysisContext*, 46567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const MemRegion*); 466eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 467eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek static bool classof(const MemRegion* R) { 468eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return R->getKind() == BlockTextRegionKind; 469ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu } 470ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu}; 4710a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 4720a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// BlockDataRegion - A region that represents a block instance. 4730a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// Blocks are represented with two kinds of regions. BlockTextRegions 4740a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// represent the "code", while BlockDataRegions represent instances of blocks, 4750a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// which correspond to "code+data". The distinction is important, because 4760a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// like a closure a block captures the values of externally referenced 4770a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// variables. 4780a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenekclass BlockDataRegion : public SubRegion { 47967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 4800a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek const BlockTextRegion *BC; 48167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *LC; // Can be null */ 4824240096011a187807058f887eb81df750ffa17feTed Kremenek void *ReferencedVars; 48367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 48467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BlockDataRegion(const BlockTextRegion *bc, const LocationContext *lc, 4850a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek const MemRegion *sreg) 4864240096011a187807058f887eb81df750ffa17feTed Kremenek : SubRegion(sreg, BlockDataRegionKind), BC(bc), LC(lc), ReferencedVars(0) {} 4870a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 48867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 4890a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek const BlockTextRegion *getCodeRegion() const { return BC; } 4904240096011a187807058f887eb81df750ffa17feTed Kremenek 491d02e83a548359df978f40cc1a52ffd78b7ef371bTed Kremenek const BlockDecl *getDecl() const { return BC->getDecl(); } 492d02e83a548359df978f40cc1a52ffd78b7ef371bTed Kremenek 49381cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek class referenced_vars_iterator { 49481cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek const MemRegion * const *R; 49581cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek public: 49681cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek explicit referenced_vars_iterator(const MemRegion * const *r) : R(r) {} 49781cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek 49881cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek operator const MemRegion * const *() const { 49981cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return R; 50081cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 50181cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek 50281cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek const VarRegion* operator*() const { 50381cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return cast<VarRegion>(*R); 50481cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 50581cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek 50681cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek bool operator==(const referenced_vars_iterator &I) const { 50781cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return I.R == R; 50881cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 50981cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek bool operator!=(const referenced_vars_iterator &I) const { 51081cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return I.R != R; 51181cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 51281cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek referenced_vars_iterator& operator++() { 51381cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek ++R; 51481cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return *this; 51581cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 51681cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek }; 51781cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek 5184240096011a187807058f887eb81df750ffa17feTed Kremenek referenced_vars_iterator referenced_vars_begin() const; 5194240096011a187807058f887eb81df750ffa17feTed Kremenek referenced_vars_iterator referenced_vars_end() const; 5200a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 5210a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek virtual void dumpToStream(llvm::raw_ostream& os) const; 5220a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 5230a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 5240a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 52567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID&, const BlockTextRegion *, 52667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *, const MemRegion *); 5270a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 5280a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek static bool classof(const MemRegion* R) { 5290a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek return R->getKind() == BlockDataRegionKind; 5300a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek } 5314240096011a187807058f887eb81df750ffa17feTed Kremenekprivate: 5324240096011a187807058f887eb81df750ffa17feTed Kremenek void LazyInitializeReferencedVars(); 5330a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek}; 534ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 535026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// SymbolicRegion - A special, "non-concrete" region. Unlike other region 536026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// clases, SymbolicRegion represents a region that serves as an alias for 537026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// either a real region, a NULL pointer, etc. It essentially is used to 538026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// map the concept of symbolic values into the domain of regions. Symbolic 539026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// regions do not need to be typed. 540e8e86482da4c1872673bbb9c237649229d19793bTed Kremenekclass SymbolicRegion : public SubRegion { 541026c66395b88a09437319139a43b090093f7e1ddZhongxing Xuprotected: 542026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu const SymbolRef sym; 543026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu 544026c66395b88a09437319139a43b090093f7e1ddZhongxing Xupublic: 5451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SymbolicRegion(const SymbolRef s, const MemRegion* sreg) 546e8e86482da4c1872673bbb9c237649229d19793bTed Kremenek : SubRegion(sreg, SymbolicRegionKind), sym(s) {} 5471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 548026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu SymbolRef getSymbol() const { 549026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu return sym; 550026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu } 551026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu 5529852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu bool isBoundable() const { return true; } 5539852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu 554c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 55532f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 556026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu void Profile(llvm::FoldingSetNodeID& ID) const; 557026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu 558250101353b711a409b075f1bc11070dddec7100bTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, 559250101353b711a409b075f1bc11070dddec7100bTed Kremenek SymbolRef sym, 560250101353b711a409b075f1bc11070dddec7100bTed Kremenek const MemRegion* superRegion); 5611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5628800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dumpToStream(llvm::raw_ostream& os) const; 5631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 564026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu static bool classof(const MemRegion* R) { 565026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu return R->getKind() == SymbolicRegionKind; 566026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu } 5671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump}; 568026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu 569e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu/// StringRegion - Region associated with a StringLiteral. 570e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xuclass StringRegion : public TypedRegion { 571e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu friend class MemRegionManager; 572e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu const StringLiteral* Str; 573e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xuprotected: 574e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 575250101353b711a409b075f1bc11070dddec7100bTed Kremenek StringRegion(const StringLiteral* str, const MemRegion* sreg) 576e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu : TypedRegion(sreg, StringRegionKind), Str(str) {} 577e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 578e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu static void ProfileRegion(llvm::FoldingSetNodeID& ID, 579e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu const StringLiteral* Str, 580e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu const MemRegion* superRegion); 581e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 582e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xupublic: 5836613d08a19aa6ce9b6330487f3bfac841d4b8a4dZhongxing Xu 5846613d08a19aa6ce9b6330487f3bfac841d4b8a4dZhongxing Xu const StringLiteral* getStringLiteral() const { return Str; } 5851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 586018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 587ff6978263439e21d795b0602fabcb38488ef8441Zhongxing Xu return Str->getType(); 588ff6978263439e21d795b0602fabcb38488ef8441Zhongxing Xu } 589e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 590c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 59132f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 5920a51f1c6cec6032bcf64ce205bc4edfdc3cb3a2fZhongxing Xu bool isBoundable() const { return false; } 5930a51f1c6cec6032bcf64ce205bc4edfdc3cb3a2fZhongxing Xu 594e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu void Profile(llvm::FoldingSetNodeID& ID) const { 595e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu ProfileRegion(ID, Str, superRegion); 596e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu } 597e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 5988800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dumpToStream(llvm::raw_ostream& os) const; 599cc128b32429494fe04ed36d7ba30c011cb4e173aZhongxing Xu 600e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu static bool classof(const MemRegion* R) { 601e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu return R->getKind() == StringRegionKind; 602e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu } 603e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu}; 604e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 605329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek/// CompoundLiteralRegion - A memory region representing a compound literal. 606329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek/// Compound literals are essentially temporaries that are stack allocated 607329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek/// or in the global constant pool. 60877cfac623178d0c16e16e2f171d20b0fea8fde30Zhongxing Xuclass CompoundLiteralRegion : public TypedRegion { 609329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenekprivate: 610329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek friend class MemRegionManager; 611329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek const CompoundLiteralExpr* CL; 612329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek 613329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek CompoundLiteralRegion(const CompoundLiteralExpr* cl, const MemRegion* sReg) 61477cfac623178d0c16e16e2f171d20b0fea8fde30Zhongxing Xu : TypedRegion(sReg, CompoundLiteralRegionKind), CL(cl) {} 6151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 616329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, 617329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek const CompoundLiteralExpr* CL, 618329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek const MemRegion* superRegion); 619329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenekpublic: 620018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 621018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu return CL->getType(); 62277cfac623178d0c16e16e2f171d20b0fea8fde30Zhongxing Xu } 6230a51f1c6cec6032bcf64ce205bc4edfdc3cb3a2fZhongxing Xu 6249a08fee80a34938b8c11c7166e009a89ced4c2b4Zhongxing Xu bool isBoundable() const { return !CL->isFileScope(); } 6259a08fee80a34938b8c11c7166e009a89ced4c2b4Zhongxing Xu 626329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 6271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6288800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dumpToStream(llvm::raw_ostream& os) const; 629329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek 63011a83dc7a9a5738cc0bc76180b508eae896eefa9Ted Kremenek const CompoundLiteralExpr* getLiteralExpr() const { return CL; } 6311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 632329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek static bool classof(const MemRegion* R) { 633329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek return R->getKind() == CompoundLiteralRegionKind; 634329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek } 635329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek}; 636178927517fa09ddbb04dc8ef725b5716c18aae21Zhongxing Xu 6379e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass DeclRegion : public TypedRegion { 6389e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekprotected: 6399e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const Decl* D; 6409e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 641993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek DeclRegion(const Decl* d, const MemRegion* sReg, Kind k) 6429e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek : TypedRegion(sReg, k), D(d) {} 6439e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 6449e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Decl* D, 6459e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const MemRegion* superRegion, Kind k); 6461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 647bfb6582ef46dfb33672d9621f879fc262339d704Zhongxing Xupublic: 648bfb6582ef46dfb33672d9621f879fc262339d704Zhongxing Xu const Decl* getDecl() const { return D; } 6499e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 6501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 651c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 65232f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 653e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu static bool classof(const MemRegion* R) { 654e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu unsigned k = R->getKind(); 65567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return k >= BEG_DECL_REGIONS && k <= END_DECL_REGIONS; 656e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu } 6579e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 6581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6599e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass VarRegion : public DeclRegion { 6609e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek friend class MemRegionManager; 661d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek 662d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek // Constructors and private methods. 66367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek VarRegion(const VarDecl* vd, const MemRegion* sReg) 66467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : DeclRegion(vd, sReg, VarRegionKind) {} 6659e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 666250101353b711a409b075f1bc11070dddec7100bTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const VarDecl* VD, 667d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek const MemRegion *superRegion) { 6689e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek DeclRegion::ProfileRegion(ID, VD, superRegion, VarRegionKind); 6699e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 6701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 671d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 6721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumppublic: 674d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek const VarDecl *getDecl() const { return cast<VarDecl>(D); } 6751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6765348f94abd0e9d3945da8d059b55b156967e8ff9Ted Kremenek const StackFrameContext *getStackFrame() const; 6775348f94abd0e9d3945da8d059b55b156967e8ff9Ted Kremenek 678018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 6796eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek // FIXME: We can cache this if needed. 680018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu return getDecl()->getType(); 6811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 6821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6838800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dumpToStream(llvm::raw_ostream& os) const; 6841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6859e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion* R) { 6869e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek return R->getKind() == VarRegionKind; 6871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 6889e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 689de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 690de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek/// CXXThisRegion - Represents the region for the implicit 'this' parameter 691de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek/// in a call to a C++ method. This region doesn't represent the object 692de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek/// referred to by 'this', but rather 'this' itself. 693de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenekclass CXXThisRegion : public TypedRegion { 694de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek friend class MemRegionManager; 695de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek CXXThisRegion(const PointerType *thisPointerTy, 696de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const MemRegion *sReg) 697de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek : TypedRegion(sReg, CXXThisRegionKind), ThisPointerTy(thisPointerTy) {} 698de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 699de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID &ID, 700de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const PointerType *PT, 701de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const MemRegion *sReg); 702de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 703de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek void Profile(llvm::FoldingSetNodeID &ID) const; 704de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 705de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenekpublic: 706018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 707de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek return QualType(ThisPointerTy, 0); 708de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek } 7097caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 710de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek void dumpToStream(llvm::raw_ostream& os) const; 711de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 712de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek static bool classof(const MemRegion* R) { 713de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek return R->getKind() == CXXThisRegionKind; 714de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek } 715de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 716de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenekprivate: 717de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const PointerType *ThisPointerTy; 718de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek}; 7199e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 7209e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass FieldRegion : public DeclRegion { 7219e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek friend class MemRegionManager; 7229e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 723993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek FieldRegion(const FieldDecl* fd, const MemRegion* sReg) 7249e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek : DeclRegion(fd, sReg, FieldRegionKind) {} 7259e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 7264bd1eefd48c70ebef185e524d0484c00f16000cfTed Kremenekpublic: 7271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7288800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dumpToStream(llvm::raw_ostream& os) const; 7291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7304bd1eefd48c70ebef185e524d0484c00f16000cfTed Kremenek const FieldDecl* getDecl() const { return cast<FieldDecl>(D); } 7311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 732018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 7336eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek // FIXME: We can cache this if needed. 734018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu return getDecl()->getType(); 7351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 7364bd1eefd48c70ebef185e524d0484c00f16000cfTed Kremenek 737c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 73832f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 7396304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const FieldDecl* FD, 7406304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek const MemRegion* superRegion) { 7419e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek DeclRegion::ProfileRegion(ID, FD, superRegion, FieldRegionKind); 7429e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 7431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7449e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion* R) { 7459e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek return R->getKind() == FieldRegionKind; 7469e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 7479e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 7481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7499e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass ObjCIvarRegion : public DeclRegion { 7501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7519e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek friend class MemRegionManager; 7521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 753993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek ObjCIvarRegion(const ObjCIvarDecl* ivd, const MemRegion* sReg) 7549e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek : DeclRegion(ivd, sReg, ObjCIvarRegionKind) {} 7559e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 7566304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const ObjCIvarDecl* ivd, 7576304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek const MemRegion* superRegion) { 7589e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek DeclRegion::ProfileRegion(ID, ivd, superRegion, ObjCIvarRegionKind); 7599e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 7601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7619e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 7629e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const ObjCIvarDecl* getDecl() const { return cast<ObjCIvarDecl>(D); } 763018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { return getDecl()->getType(); } 7641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 765bcfe03a0beb61082fa2f40887216d8dbca19a024Ted Kremenek void dumpToStream(llvm::raw_ostream& os) const; 7661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7679e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion* R) { 7689e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek return R->getKind() == ObjCIvarRegionKind; 7699e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 7709e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 7717caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu//===----------------------------------------------------------------------===// 7727caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu// Auxillary data classes for use with MemRegions. 7737caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu//===----------------------------------------------------------------------===// 7747caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7757caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xuclass ElementRegion; 7767caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7777caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xuclass RegionRawOffset { 7787caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xuprivate: 7797caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu friend class ElementRegion; 7807caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7817caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu const MemRegion *Region; 7829ff2b13aee0f89d23ef4820218f9b88bb5e5c1c1Ken Dyck CharUnits Offset; 7837caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7849ff2b13aee0f89d23ef4820218f9b88bb5e5c1c1Ken Dyck RegionRawOffset(const MemRegion* reg, CharUnits offset = CharUnits::Zero()) 7857caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu : Region(reg), Offset(offset) {} 7867caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7877caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xupublic: 7887caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu // FIXME: Eventually support symbolic offsets. 7899ff2b13aee0f89d23ef4820218f9b88bb5e5c1c1Ken Dyck CharUnits getOffset() const { return Offset; } 7907caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu const MemRegion *getRegion() const { return Region; } 7917caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7927caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu void dumpToStream(llvm::raw_ostream& os) const; 7937caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu void dump() const; 7947caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu}; 795511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 79627b57063d83b00474d7563fb5d608544e2364862Zhongxing Xuclass ElementRegion : public TypedRegion { 797511191ce8920160525611be2be754c32a0724c3eZhongxing Xu friend class MemRegionManager; 798511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 799f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek QualType ElementType; 80002282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek NonLoc Index; 801511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 80202282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg) 803f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek : TypedRegion(sReg, ElementRegionKind), 804f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek ElementType(elementType), Index(Idx) { 8053d8173c1c68f451c7492f92023d829c626845925Chris Lattner assert((!isa<nonloc::ConcreteInt>(&Idx) || 8063d8173c1c68f451c7492f92023d829c626845925Chris Lattner cast<nonloc::ConcreteInt>(&Idx)->getValue().isSigned()) && 80743b28d07019bc78447ecbbb721526de4ffd83f20Chris Lattner "The index must be signed"); 8080395b5d4987fe5baa818015e9d294c128619e4ecZhongxing Xu } 8091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 810f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, QualType elementType, 811f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek SVal Idx, const MemRegion* superRegion); 812511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 813511191ce8920160525611be2be754c32a0724c3eZhongxing Xupublic: 814511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 81502282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek NonLoc getIndex() const { return Index; } 8166e78e1b22f3b16bb2ef76950b9b75f060bdba7bfZhongxing Xu 817018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 818f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek return ElementType; 819f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek } 8201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 821f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek QualType getElementType() const { 822f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek return ElementType; 823abb042f33ea8e6107a7dc8efc51d2ace329f9f48Ted Kremenek } 8247caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu /// Compute the offset within the array. The array might also be a subobject. 8257caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu RegionRawOffset getAsArrayOffset() const; 8261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 8278800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dumpToStream(llvm::raw_ostream& os) const; 828b21ff77c8126ea628b66d2ffb931fdaa7884f5d2Zhongxing Xu 829511191ce8920160525611be2be754c32a0724c3eZhongxing Xu void Profile(llvm::FoldingSetNodeID& ID) const; 830511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 831511191ce8920160525611be2be754c32a0724c3eZhongxing Xu static bool classof(const MemRegion* R) { 832511191ce8920160525611be2be754c32a0724c3eZhongxing Xu return R->getKind() == ElementRegionKind; 833511191ce8920160525611be2be754c32a0724c3eZhongxing Xu } 834511191ce8920160525611be2be754c32a0724c3eZhongxing Xu}; 83519e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek 836bc37b8dd9914e02580f531fa6e5e72be34d9675eZhongxing Xu// C++ temporary object associated with an expression. 83702fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xuclass CXXTempObjectRegion : public TypedRegion { 838bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu friend class MemRegionManager; 839bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 840bc37b8dd9914e02580f531fa6e5e72be34d9675eZhongxing Xu Expr const *Ex; 841bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 84202fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu CXXTempObjectRegion(Expr const *E, MemRegion const *sReg) 84302fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu : TypedRegion(sReg, CXXTempObjectRegionKind), Ex(E) {} 844bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 845bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu static void ProfileRegion(llvm::FoldingSetNodeID &ID, 846bc37b8dd9914e02580f531fa6e5e72be34d9675eZhongxing Xu Expr const *E, const MemRegion *sReg); 847bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 848bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xupublic: 849018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 850bc37b8dd9914e02580f531fa6e5e72be34d9675eZhongxing Xu return Ex->getType(); 851bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu } 852bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 853e1aeb13251a4858724d2b7ad1925d25076f23d08Zhongxing Xu void dumpToStream(llvm::raw_ostream& os) const; 854e1aeb13251a4858724d2b7ad1925d25076f23d08Zhongxing Xu 855bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu void Profile(llvm::FoldingSetNodeID &ID) const; 856bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 857bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu static bool classof(const MemRegion* R) { 85802fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu return R->getKind() == CXXTempObjectRegionKind; 859bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu } 860bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu}; 861bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 8624fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu// CXXBaseObjectRegion represents a base object within a C++ object. It is 8634fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu// identified by the base class declaration and the region of its parent object. 8644fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xuclass CXXBaseObjectRegion : public TypedRegion { 8654fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu friend class MemRegionManager; 8664fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8674fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu const CXXRecordDecl *decl; 8684fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8694fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu CXXBaseObjectRegion(const CXXRecordDecl *d, const MemRegion *sReg) 8704fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu : TypedRegion(sReg, CXXBaseObjectRegionKind), decl(d) {} 8714fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8724fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu static void ProfileRegion(llvm::FoldingSetNodeID &ID, 8734fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu const CXXRecordDecl *decl, const MemRegion *sReg); 8744fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8754fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xupublic: 876d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu const CXXRecordDecl *getDecl() const { return decl; } 877d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu 8784fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu QualType getValueType() const; 8794fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8804fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu void dumpToStream(llvm::raw_ostream& os) const; 8814fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8824fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu void Profile(llvm::FoldingSetNodeID &ID) const; 8834fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8844fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu static bool classof(const MemRegion *region) { 8854fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu return region->getKind() == CXXBaseObjectRegionKind; 8864fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu } 8874fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu}; 8884fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 889ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenektemplate<typename RegionTy> 890ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenekconst RegionTy* MemRegion::getAs() const { 891f7a0cf426eddae76e1a71dd2295631a2cf0560afTed Kremenek if (const RegionTy* RT = dyn_cast<RegionTy>(this)) 892f7a0cf426eddae76e1a71dd2295631a2cf0560afTed Kremenek return RT; 8931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 894f7a0cf426eddae76e1a71dd2295631a2cf0560afTed Kremenek return NULL; 895ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenek} 896511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 8979e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek//===----------------------------------------------------------------------===// 8989e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// MemRegionManager - Factory object for creating regions. 8999e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek//===----------------------------------------------------------------------===// 9009e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 9019e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass MemRegionManager { 902a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek ASTContext &C; 9039e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek llvm::BumpPtrAllocator& A; 9049e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek llvm::FoldingSet<MemRegion> Regions; 9051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 906dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek NonStaticGlobalSpaceRegion *globals; 9072b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek 908c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu llvm::DenseMap<const StackFrameContext *, StackLocalsSpaceRegion *> 909c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu StackLocalsSpaceRegions; 910c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu llvm::DenseMap<const StackFrameContext *, StackArgumentsSpaceRegion *> 911c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu StackArgumentsSpaceRegions; 912dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek llvm::DenseMap<const CodeTextRegion *, StaticGlobalSpaceRegion *> 913dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek StaticsGlobalSpaceRegions; 9142b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek 91567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek HeapSpaceRegion *heap; 9162b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek UnknownSpaceRegion *unknown; 917d05552a21377f493c882298c59e8829040b01d34Ted Kremenek MemSpaceRegion *code; 918dc0a25d9bff956cdbe54ea0bfc8fbbe3ceb4eb92Zhongxing Xu 9199e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 920a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek MemRegionManager(ASTContext &c, llvm::BumpPtrAllocator& a) 921c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu : C(c), A(a), globals(0), heap(0), unknown(0), code(0) {} 9221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9234240096011a187807058f887eb81df750ffa17feTed Kremenek ~MemRegionManager(); 9241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 925a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek ASTContext &getContext() { return C; } 9264240096011a187807058f887eb81df750ffa17feTed Kremenek 9274240096011a187807058f887eb81df750ffa17feTed Kremenek llvm::BumpPtrAllocator &getAllocator() { return A; } 9281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 92967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// getStackLocalsRegion - Retrieve the memory region associated with the 93067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// specified stack frame. 93167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const StackLocalsSpaceRegion * 93267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek getStackLocalsRegion(const StackFrameContext *STC); 933d05552a21377f493c882298c59e8829040b01d34Ted Kremenek 934d05552a21377f493c882298c59e8829040b01d34Ted Kremenek /// getStackArgumentsRegion - Retrieve the memory region associated with 93567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// function/method arguments of the specified stack frame. 93667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const StackArgumentsSpaceRegion * 93767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek getStackArgumentsRegion(const StackFrameContext *STC); 9381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9399e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getGlobalsRegion - Retrieve the memory region associated with 940dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek /// global variables. 941dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek const GlobalsSpaceRegion *getGlobalsRegion(const CodeTextRegion *R = 0); 9421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9439e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getHeapRegion - Retrieve the memory region associated with the 9449e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// generic "heap". 94567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const HeapSpaceRegion *getHeapRegion(); 946178927517fa09ddbb04dc8ef725b5716c18aae21Zhongxing Xu 947178927517fa09ddbb04dc8ef725b5716c18aae21Zhongxing Xu /// getUnknownRegion - Retrieve the memory region associated with unknown 948178927517fa09ddbb04dc8ef725b5716c18aae21Zhongxing Xu /// memory space. 949b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemSpaceRegion *getUnknownRegion(); 950c540b261ac553b91840146eaa3fee3f11b1013a7Zhongxing Xu 951b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemSpaceRegion *getCodeRegion(); 952ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 9537090ae1a984eb446a5fb4da7b1f2573830653799Ted Kremenek /// getAllocaRegion - Retrieve a region associated with a call to alloca(). 95467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const AllocaRegion *getAllocaRegion(const Expr* Ex, unsigned Cnt, 95567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *LC); 9561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 957329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek /// getCompoundLiteralRegion - Retrieve the region associated with a 958329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek /// given CompoundLiteral. 959b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const CompoundLiteralRegion* 96067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek getCompoundLiteralRegion(const CompoundLiteralExpr* CL, 96167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *LC); 962de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 963de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek /// getCXXThisRegion - Retrieve the [artifical] region associated with the 964de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek /// parameter 'this'. 965de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const CXXThisRegion *getCXXThisRegion(QualType thisPointerTy, 966de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const LocationContext *LC); 9671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 968993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek /// getSymbolicRegion - Retrieve or create a "symbolic" memory region. 969b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const SymbolicRegion* getSymbolicRegion(SymbolRef sym); 970e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 971b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const StringRegion* getStringRegion(const StringLiteral* Str); 972e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 9739e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getVarRegion - Retrieve or create the memory region associated with 974d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek /// a specified VarDecl and LocationContext. 975b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const VarRegion* getVarRegion(const VarDecl *D, const LocationContext *LC); 9761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 97767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// getVarRegion - Retrieve or create the memory region associated with 97867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// a specified VarDecl and super region. 97967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const VarRegion* getVarRegion(const VarDecl *D, const MemRegion *superR); 98067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 981f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek /// getElementRegion - Retrieve the memory region associated with the 982f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek /// associated element type, index, and super region. 98302282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx, 984856c6bcaea56e05255e9f3997ddd56b5c18a14f0Zhongxing Xu const MemRegion *superRegion, 985856c6bcaea56e05255e9f3997ddd56b5c18a14f0Zhongxing Xu ASTContext &Ctx); 9861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 987b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, 988856c6bcaea56e05255e9f3997ddd56b5c18a14f0Zhongxing Xu const MemRegion *superRegion) { 989a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek return getElementRegion(ER->getElementType(), ER->getIndex(), 990a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek superRegion, ER->getContext()); 991a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek } 992511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 9939e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getFieldRegion - Retrieve or create the memory region associated with 9949e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// a specified FieldDecl. 'superRegion' corresponds to the containing 9959e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// memory region (which typically represents the memory representing 9969e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// a structure or class). 997b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const FieldRegion *getFieldRegion(const FieldDecl* fd, 998b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemRegion* superRegion); 9991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1000b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR, 1001b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemRegion *superRegion) { 1002a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek return getFieldRegion(FR->getDecl(), superRegion); 1003a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek } 10041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 10059e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getObjCIvarRegion - Retrieve or create the memory region associated with 10069e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// a specified Objective-c instance variable. 'superRegion' corresponds 10079e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// to the containing region (which typically represents the Objective-C 10089e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// object). 1009b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const ObjCIvarRegion *getObjCIvarRegion(const ObjCIvarDecl* ivd, 1010b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemRegion* superRegion); 10111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 101202fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu const CXXTempObjectRegion *getCXXTempObjectRegion(Expr const *Ex, 101302fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu LocationContext const *LC); 1014bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 10154fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu const CXXBaseObjectRegion *getCXXBaseObjectRegion(const CXXRecordDecl *decl, 10164fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu const MemRegion *superRegion); 10174fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 1018d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu /// Create a CXXBaseObjectRegion with the same CXXRecordDecl but a different 1019d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu /// super region. 1020d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu const CXXBaseObjectRegion * 1021d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu getCXXBaseObjectRegionWithSuper(const CXXBaseObjectRegion *baseReg, 1022d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu const MemRegion *superRegion) { 1023d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu return getCXXBaseObjectRegion(baseReg->getDecl(), superRegion); 1024d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu } 1025d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu 1026b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const FunctionTextRegion *getFunctionTextRegion(const FunctionDecl *FD); 1027b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const BlockTextRegion *getBlockTextRegion(const BlockDecl *BD, 102867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek CanQualType locTy, 102967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AnalysisContext *AC); 103067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 103167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// getBlockDataRegion - Get the memory region associated with an instance 103267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// of a block. Unlike many other MemRegions, the LocationContext* 103367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// argument is allowed to be NULL for cases where we have no known 103467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// context. 1035b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const BlockDataRegion *getBlockDataRegion(const BlockTextRegion *bc, 103667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *lc = NULL); 10371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1038bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek bool isGlobalsRegion(const MemRegion* R) { 1039bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek assert(R); 1040bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek return R == globals; 1041bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek } 1042bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek 1043bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenekprivate: 1044250101353b711a409b075f1bc11070dddec7100bTed Kremenek template <typename RegionTy, typename A1> 1045250101353b711a409b075f1bc11070dddec7100bTed Kremenek RegionTy* getRegion(const A1 a1); 10461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 10476304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek template <typename RegionTy, typename A1> 1048eeea45611d45238c34474c183cee96d47ae79e24Ted Kremenek RegionTy* getSubRegion(const A1 a1, const MemRegion* superRegion); 10491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 10507ae7ad9951f032d0a33b64c964f7cdcb9cc6f59bTed Kremenek template <typename RegionTy, typename A1, typename A2> 10517ae7ad9951f032d0a33b64c964f7cdcb9cc6f59bTed Kremenek RegionTy* getRegion(const A1 a1, const A2 a2); 1052dc0a25d9bff956cdbe54ea0bfc8fbbe3ceb4eb92Zhongxing Xu 10530a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek template <typename RegionTy, typename A1, typename A2> 10540a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek RegionTy* getSubRegion(const A1 a1, const A2 a2, 10550a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek const MemRegion* superRegion); 10560a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 105767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek template <typename RegionTy, typename A1, typename A2, typename A3> 105867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek RegionTy* getSubRegion(const A1 a1, const A2 a2, const A3 a3, 105967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const MemRegion* superRegion); 106067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 106167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek template <typename REG> 106267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const REG* LazyAllocate(REG*& region); 106367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 106467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek template <typename REG, typename ARG> 106567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const REG* LazyAllocate(REG*& region, ARG a); 1066ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenek}; 10671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1068250101353b711a409b075f1bc11070dddec7100bTed Kremenek//===----------------------------------------------------------------------===// 1069a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek// Out-of-line member definitions. 1070250101353b711a409b075f1bc11070dddec7100bTed Kremenek//===----------------------------------------------------------------------===// 1071250101353b711a409b075f1bc11070dddec7100bTed Kremenek 1072a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenekinline ASTContext& MemRegion::getContext() const { 1073a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek return getMemRegionManager()->getContext(); 1074a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek} 1075eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 10765a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis} // end GR namespace 10775a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 1078be91224894e1501133e224934285ba6440bf5b59Ted Kremenek} // end clang namespace 10799e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 1080250101353b711a409b075f1bc11070dddec7100bTed Kremenek//===----------------------------------------------------------------------===// 1081250101353b711a409b075f1bc11070dddec7100bTed Kremenek// Pretty-printing regions. 1082250101353b711a409b075f1bc11070dddec7100bTed Kremenek//===----------------------------------------------------------------------===// 1083250101353b711a409b075f1bc11070dddec7100bTed Kremenek 1084be91224894e1501133e224934285ba6440bf5b59Ted Kremeneknamespace llvm { 10858800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenekstatic inline raw_ostream& operator<<(raw_ostream& os, 10869ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremenek const clang::ento::MemRegion* R) { 10878800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek R->dumpToStream(os); 10888800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek return os; 1089be91224894e1501133e224934285ba6440bf5b59Ted Kremenek} 1090be91224894e1501133e224934285ba6440bf5b59Ted Kremenek} // end llvm namespace 10919e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 10929e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek#endif 1093