MemRegion.h revision d47d3b0cfeb7e8564ff77f48130fe63282b6d127
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" 22d47d3b0cfeb7e8564ff77f48130fe63282b6d127Chris Lattner#include "clang/Basic/LLVM.h" 239b663716449b618ba0390b1dbebc54fa8e971124Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.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 Kramer} 319e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 329e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremeneknamespace clang { 331eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 34d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenekclass LocationContext; 3567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass StackFrameContext; 365a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 379ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremeneknamespace ento { 385a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 395a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidisclass MemRegionManager; 405a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidisclass MemSpaceRegion; 41c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenekclass SValBuilder; 424240096011a187807058f887eb81df750ffa17feTed Kremenekclass VarRegion; 43dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekclass CodeTextRegion; 441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 45e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu/// Represent a region's offset within the top level base region. 46e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xuclass RegionOffset { 47e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu /// The base region. 48e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu const MemRegion *R; 49e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 50e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu /// The bit offset within the base region. It shouldn't be negative. 51e3273e78da4716f9c999ae207f6898f376a6e1a4Zhongxing Xu int64_t Offset; 52e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 53e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xupublic: 54e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu RegionOffset(const MemRegion *r) : R(r), Offset(0) {} 55e3273e78da4716f9c999ae207f6898f376a6e1a4Zhongxing Xu RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} 56e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 57e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu const MemRegion *getRegion() const { return R; } 58e3273e78da4716f9c999ae207f6898f376a6e1a4Zhongxing Xu int64_t getOffset() const { return Offset; } 59e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu}; 60e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 6119e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek//===----------------------------------------------------------------------===// 6219e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek// Base region classes. 6319e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek//===----------------------------------------------------------------------===// 641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 659e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek/// MemRegion - The root abstract class for all memory regions. 669e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass MemRegion : public llvm::FoldingSetNode { 674240096011a187807058f887eb81df750ffa17feTed Kremenek friend class MemRegionManager; 689e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 6967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek enum Kind { 7067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek // Memory spaces. 71dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek GenericMemSpaceRegionKind, 7267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackLocalsSpaceRegionKind, 7367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackArgumentsSpaceRegionKind, 7467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek HeapSpaceRegionKind, 752b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek UnknownSpaceRegionKind, 76dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek NonStaticGlobalSpaceRegionKind, 77dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek StaticGlobalSpaceRegionKind, 78dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek BEG_GLOBAL_MEMSPACES = NonStaticGlobalSpaceRegionKind, 79dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek END_GLOBAL_MEMSPACES = StaticGlobalSpaceRegionKind, 80dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek BEG_MEMSPACES = GenericMemSpaceRegionKind, 81dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek END_MEMSPACES = StaticGlobalSpaceRegionKind, 8267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek // Untyped regions. 8367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek SymbolicRegionKind, 8467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AllocaRegionKind, 8567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek // Typed regions. 8667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BEG_TYPED_REGIONS, 8767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek FunctionTextRegionKind = BEG_TYPED_REGIONS, 8867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BlockTextRegionKind, 8967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BlockDataRegionKind, 9067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek CompoundLiteralRegionKind, 91de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek CXXThisRegionKind, 9267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StringRegionKind, 9367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek ElementRegionKind, 9467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek // Decl Regions. 9567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BEG_DECL_REGIONS, 9667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek VarRegionKind = BEG_DECL_REGIONS, 9767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek FieldRegionKind, 9867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek ObjCIvarRegionKind, 994fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu END_DECL_REGIONS = ObjCIvarRegionKind, 10002fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu CXXTempObjectRegionKind, 1014fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu CXXBaseObjectRegionKind, 102755f6bcfd7ee68b7d51589e9bb259ebbe60add72Zhongxing Xu END_TYPED_REGIONS = CXXBaseObjectRegionKind 10367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek }; 10467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 1059e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekprivate: 1069e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const Kind kind; 1071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1089e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekprotected: 1099e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek MemRegion(Kind k) : kind(k) {} 1109e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek virtual ~MemRegion(); 1119e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 1129e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 113a6275a534da701f37d19a068e6361e5f10f983a1Ted Kremenek ASTContext &getContext() const; 1141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1159e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek virtual void Profile(llvm::FoldingSetNodeID& ID) const = 0; 116a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek 117a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek virtual MemRegionManager* getMemRegionManager() const = 0; 118a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek 1199e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek std::string getString() const; 1201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 121bb7c96f290453104ec35ca17111a5165f68a4697Ted Kremenek const MemSpaceRegion *getMemorySpace() const; 1221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 123adca27102ff733c7d42fcbbc2c7e134a7fc026f9Zhongxing Xu const MemRegion *getBaseRegion() const; 124adca27102ff733c7d42fcbbc2c7e134a7fc026f9Zhongxing Xu 125479529e679957fbb92b56e116e3c86734429331eZhongxing Xu const MemRegion *StripCasts() const; 1261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1271508636e99faddf569a57fce82c0fb3aa2124396Ted Kremenek bool hasGlobalsOrParametersStorage() const; 1281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 129de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek bool hasStackStorage() const; 130de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 131de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek bool hasStackNonParametersStorage() const; 132de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 133de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek bool hasStackParametersStorage() const; 134b21ff77c8126ea628b66d2ffb931fdaa7884f5d2Zhongxing Xu 135e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu /// Compute the offset within the top level memory object. 136e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu RegionOffset getAsOffset() const; 137e888233f6b115d3b0dd73bcb5f35e93794408542Zhongxing Xu 1388cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner virtual void dumpToStream(raw_ostream& os) const; 1397f39d29cb69e7488f994870800d548008e50e1cbTed Kremenek 1408800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek void dump() const; 1411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Kind getKind() const { return kind; } 1431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 144ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenek template<typename RegionTy> const RegionTy* getAs() const; 1451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 146f0f0605c87739c906861f73d4287798a4969b1e0Zhongxing Xu virtual bool isBoundable() const { return false; } 147b21ff77c8126ea628b66d2ffb931fdaa7884f5d2Zhongxing Xu 1489e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion*) { return true; } 1499e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 1501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1519e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek/// MemSpaceRegion - A memory region that represents and "memory space"; 1529e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek/// for example, the set of global variables, the stack frame, etc. 1539e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass MemSpaceRegion : public MemRegion { 154a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenekprotected: 15567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 15667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 157a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek MemRegionManager *Mgr; 158a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek 15967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek MemSpaceRegion(MemRegionManager *mgr, Kind k = GenericMemSpaceRegionKind) 16067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : MemRegion(k), Mgr(mgr) { 16167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek assert(classof(this)); 16267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 16367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 16467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek MemRegionManager* getMemRegionManager() const { return Mgr; } 1651eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 16667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 16767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek bool isBoundable() const { return false; } 16867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 16967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek void Profile(llvm::FoldingSetNodeID &ID) const; 17067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 17167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 17267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek Kind k = R->getKind(); 17367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return k >= BEG_MEMSPACES && k <= END_MEMSPACES; 174a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek } 17567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 17667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 17767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass GlobalsSpaceRegion : public MemSpaceRegion { 178dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekprotected: 179dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek GlobalsSpaceRegion(MemRegionManager *mgr, Kind k) 180dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek : MemSpaceRegion(mgr, k) {} 181dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekpublic: 182dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek static bool classof(const MemRegion *R) { 183dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek Kind k = R->getKind(); 184dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek return k >= BEG_GLOBAL_MEMSPACES && k <= END_GLOBAL_MEMSPACES; 185dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek } 186dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek}; 187dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 188dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekclass StaticGlobalSpaceRegion : public GlobalsSpaceRegion { 18967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 190a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek 191dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek const CodeTextRegion *CR; 192dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 193dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek StaticGlobalSpaceRegion(MemRegionManager *mgr, const CodeTextRegion *cr) 194dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek : GlobalsSpaceRegion(mgr, StaticGlobalSpaceRegionKind), CR(cr) {} 195dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 196dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekpublic: 197dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek void Profile(llvm::FoldingSetNodeID &ID) const; 198dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 1998cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 200fa87d812d7c78d7f0cd1c5636e21e07c23c85341Ted Kremenek 201dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek const CodeTextRegion *getCodeRegion() const { return CR; } 202dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 203dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek static bool classof(const MemRegion *R) { 204dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek return R->getKind() == StaticGlobalSpaceRegionKind; 205dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek } 206dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek}; 207dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 208dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenekclass NonStaticGlobalSpaceRegion : public GlobalsSpaceRegion { 209dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek friend class MemRegionManager; 210dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 211dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek NonStaticGlobalSpaceRegion(MemRegionManager *mgr) 212dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek : GlobalsSpaceRegion(mgr, NonStaticGlobalSpaceRegionKind) {} 213dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek 2149e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 215fa87d812d7c78d7f0cd1c5636e21e07c23c85341Ted Kremenek 2168cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 217fa87d812d7c78d7f0cd1c5636e21e07c23c85341Ted Kremenek 21867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 219dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek return R->getKind() == NonStaticGlobalSpaceRegionKind; 22067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 22167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 22267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 22367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass HeapSpaceRegion : public MemSpaceRegion { 22467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 22567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 22667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek HeapSpaceRegion(MemRegionManager *mgr) 22767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : MemSpaceRegion(mgr, HeapSpaceRegionKind) {} 22867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 22967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 23067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return R->getKind() == HeapSpaceRegionKind; 23167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 23267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 23367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 2342b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenekclass UnknownSpaceRegion : public MemSpaceRegion { 2352b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek friend class MemRegionManager; 2362b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek UnknownSpaceRegion(MemRegionManager *mgr) 2372b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek : MemSpaceRegion(mgr, UnknownSpaceRegionKind) {} 2382b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenekpublic: 2392b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek static bool classof(const MemRegion *R) { 2402b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek return R->getKind() == UnknownSpaceRegionKind; 2412b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek } 2422b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek}; 2432b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek 24467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass StackSpaceRegion : public MemSpaceRegion { 24567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekprivate: 24667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const StackFrameContext *SFC; 2479e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 24867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekprotected: 24967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackSpaceRegion(MemRegionManager *mgr, Kind k, const StackFrameContext *sfc) 25067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : MemSpaceRegion(mgr, k), SFC(sfc) { 25167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek assert(classof(this)); 25267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 25341168eac256fed59ec5406a75fce91c59cd5dd91Ted Kremenek 25467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 25567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const StackFrameContext *getStackFrame() const { return SFC; } 25667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 25767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek void Profile(llvm::FoldingSetNodeID &ID) const; 25867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 25967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 26067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek Kind k = R->getKind(); 26167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return k >= StackLocalsSpaceRegionKind && 26267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek k <= StackArgumentsSpaceRegionKind; 26367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 26467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 26567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 26667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass StackLocalsSpaceRegion : public StackSpaceRegion { 26767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekprivate: 26867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 26967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackLocalsSpaceRegion(MemRegionManager *mgr, const StackFrameContext *sfc) 27067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : StackSpaceRegion(mgr, StackLocalsSpaceRegionKind, sfc) {} 27167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 27267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 27367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return R->getKind() == StackLocalsSpaceRegionKind; 27467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek } 27567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek}; 27667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 27767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekclass StackArgumentsSpaceRegion : public StackSpaceRegion { 27867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekprivate: 27967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 28067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek StackArgumentsSpaceRegion(MemRegionManager *mgr, const StackFrameContext *sfc) 28167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : StackSpaceRegion(mgr, StackArgumentsSpaceRegionKind, sfc) {} 28267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 28367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static bool classof(const MemRegion *R) { 28467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return R->getKind() == StackArgumentsSpaceRegionKind; 2859e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 2869e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 2879e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 2887caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 289993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek/// SubRegion - A region that subsets another larger region. Most regions 290993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek/// are subclasses of SubRegion. 291993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenekclass SubRegion : public MemRegion { 2929e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekprotected: 2931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const MemRegion* superRegion; 294993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} 2959e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 2969e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const MemRegion* getSuperRegion() const { 2979e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek return superRegion; 2989e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 2991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 30032f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose /// getExtent - Returns the size of the region in bytes. 301c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 30232f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose return UnknownVal(); 30332f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose } 30432f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 305a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek MemRegionManager* getMemRegionManager() const; 3061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3077e5d6ed47dcedce35043de59ee00464b681bc786Zhongxing Xu bool isSubRegionOf(const MemRegion* R) const; 3081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3099e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion* R) { 31067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return R->getKind() > END_MEMSPACES; 311993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek } 312993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek}; 3131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 31419e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek//===----------------------------------------------------------------------===// 31519e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek// MemRegion subclasses. 3161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump//===----------------------------------------------------------------------===// 317ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 31882bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek/// AllocaRegion - A region that represents an untyped blob of bytes created 31982bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek/// by a call to 'alloca'. 32082bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenekclass AllocaRegion : public SubRegion { 32182bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek friend class MemRegionManager; 32282bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenekprotected: 32382bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek unsigned Cnt; // Block counter. Used to distinguish different pieces of 32482bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek // memory allocated by alloca at the same call site. 32582bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek const Expr* Ex; 32682bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek 3277ae7ad9951f032d0a33b64c964f7cdcb9cc6f59bTed Kremenek AllocaRegion(const Expr* ex, unsigned cnt, const MemRegion *superRegion) 32882bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} 3291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 33082bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenekpublic: 3311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 33282bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek const Expr* getExpr() const { return Ex; } 3339852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu 3349852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu bool isBoundable() const { return true; } 3359852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu 336c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 33732f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 33882bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 33982bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek 34082bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr* Ex, 3417ae7ad9951f032d0a33b64c964f7cdcb9cc6f59bTed Kremenek unsigned Cnt, const MemRegion *superRegion); 3421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 3438cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 3441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 34582bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek static bool classof(const MemRegion* R) { 34682bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek return R->getKind() == AllocaRegionKind; 34782bd99f4db2454cc6e1b7bfaac6db25cb3444ddcTed Kremenek } 3481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump}; 3491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 350993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek/// TypedRegion - An abstract class representing regions that are typed. 351993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenekclass TypedRegion : public SubRegion { 352993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenekprotected: 353993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {} 3541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 355993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenekpublic: 356018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu virtual QualType getValueType() const = 0; 3571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 358018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu virtual QualType getLocationType() const { 3596eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek // FIXME: We can possibly optimize this later to cache this value. 360a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek QualType T = getValueType(); 361a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek ASTContext &ctx = getContext(); 362a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek if (T->getAs<ObjCObjectType>()) 363a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek return ctx.getObjCObjectPointerType(T); 364a6b0b96e5376cd9cf182a3e240e0537feed43cdeTed Kremenek return ctx.getPointerType(getValueType()); 3656eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek } 3661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 36749f4e1cbd839da27ff4814b4ea6d85a79f786cbdJohn McCall QualType getDesugaredValueType(ASTContext &Context) const { 368018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType T = getValueType(); 3691ab55e9bb87d98bff1d42c7a0ee502c64755d9f5Douglas Gregor return T.getTypePtrOrNull() ? T.getDesugaredType(Context) : T; 37014553abd17d303b0b310b3ab1523eb0d30d8121cTed Kremenek } 3711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 37249f4e1cbd839da27ff4814b4ea6d85a79f786cbdJohn McCall QualType getDesugaredLocationType(ASTContext &Context) const { 37349f4e1cbd839da27ff4814b4ea6d85a79f786cbdJohn McCall return getLocationType().getDesugaredType(Context); 37414553abd17d303b0b310b3ab1523eb0d30d8121cTed Kremenek } 3751b9b883a95215e38e153d253a46a2a2fcac25896Ted Kremenek 376cced08e13c9fba9381e39a27c70abe6978adee37Ted Kremenek bool isBoundable() const { return true; } 3776eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek 378993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek static bool classof(const MemRegion* R) { 3799e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek unsigned k = R->getKind(); 38067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return k >= BEG_TYPED_REGIONS && k <= END_TYPED_REGIONS; 3819e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 3829e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 3839e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 384ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 385eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekclass CodeTextRegion : public TypedRegion { 386eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekprotected: 387eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek CodeTextRegion(const MemRegion *sreg, Kind k) : TypedRegion(sreg, k) {} 388ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xupublic: 389018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 390018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu assert(0 && "Do not get the object type of a CodeTextRegion."); 391ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu return QualType(); 392ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu } 393eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 394eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek bool isBoundable() const { return false; } 395eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 396eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek static bool classof(const MemRegion* R) { 397eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek Kind k = R->getKind(); 398eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return k >= FunctionTextRegionKind && k <= BlockTextRegionKind; 399eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek } 400eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek}; 401ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 402eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek/// FunctionTextRegion - A region that represents code texts of function. 403eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekclass FunctionTextRegion : public CodeTextRegion { 404eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek const FunctionDecl *FD; 405eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekpublic: 406eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek FunctionTextRegion(const FunctionDecl* fd, const MemRegion* sreg) 407eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek : CodeTextRegion(sreg, FunctionTextRegionKind), FD(fd) {} 408eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 409018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getLocationType() const { 410018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu return getContext().getPointerType(FD->getType()); 411ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu } 412eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 413abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenek const FunctionDecl *getDecl() const { 414abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenek return FD; 41572e032004b0d2c2c298e8e4f7027f23a21c0cc7dTed Kremenek } 416eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 4178cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner virtual void dumpToStream(raw_ostream& os) const; 418eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 419ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu void Profile(llvm::FoldingSetNodeID& ID) const; 420eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 421abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const FunctionDecl *FD, 422abd46e13cfd48f2c9bf26d9759edb4366aaa6d5bTed Kremenek const MemRegion*); 423eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 424ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu static bool classof(const MemRegion* R) { 425eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return R->getKind() == FunctionTextRegionKind; 426eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek } 427eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek}; 428eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 429eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 430eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek/// BlockTextRegion - A region that represents code texts of blocks (closures). 4310a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// Blocks are represented with two kinds of regions. BlockTextRegions 4320a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// represent the "code", while BlockDataRegions represent instances of blocks, 4330a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// which correspond to "code+data". The distinction is important, because 4340a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// like a closure a block captures the values of externally referenced 4350a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// variables. 436eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenekclass BlockTextRegion : public CodeTextRegion { 43767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 43867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 439eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek const BlockDecl *BD; 44067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AnalysisContext *AC; 441eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek CanQualType locTy; 44267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 44367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BlockTextRegion(const BlockDecl *bd, CanQualType lTy, 44467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AnalysisContext *ac, const MemRegion* sreg) 44567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : CodeTextRegion(sreg, BlockTextRegionKind), BD(bd), AC(ac), locTy(lTy) {} 44667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 44767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 448018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getLocationType() const { 449eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return locTy; 450eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek } 451eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 452eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek const BlockDecl *getDecl() const { 453eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return BD; 454eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek } 45567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 45667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AnalysisContext *getAnalysisContext() const { return AC; } 457eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 4588cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner virtual void dumpToStream(raw_ostream& os) const; 459eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 460eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 461eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 462eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const BlockDecl *BD, 46367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek CanQualType, const AnalysisContext*, 46467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const MemRegion*); 465eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 466eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek static bool classof(const MemRegion* R) { 467eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek return R->getKind() == BlockTextRegionKind; 468ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu } 469ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu}; 4700a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 4710a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// BlockDataRegion - A region that represents a block instance. 4720a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// Blocks are represented with two kinds of regions. BlockTextRegions 4730a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// represent the "code", while BlockDataRegions represent instances of blocks, 4740a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// which correspond to "code+data". The distinction is important, because 4750a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// like a closure a block captures the values of externally referenced 4760a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek/// variables. 4770a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenekclass BlockDataRegion : public SubRegion { 47867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek friend class MemRegionManager; 4790a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek const BlockTextRegion *BC; 48067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *LC; // Can be null */ 4814240096011a187807058f887eb81df750ffa17feTed Kremenek void *ReferencedVars; 48267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 48367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek BlockDataRegion(const BlockTextRegion *bc, const LocationContext *lc, 4840a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek const MemRegion *sreg) 4854240096011a187807058f887eb81df750ffa17feTed Kremenek : SubRegion(sreg, BlockDataRegionKind), BC(bc), LC(lc), ReferencedVars(0) {} 4860a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 48767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenekpublic: 4880a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek const BlockTextRegion *getCodeRegion() const { return BC; } 4894240096011a187807058f887eb81df750ffa17feTed Kremenek 490d02e83a548359df978f40cc1a52ffd78b7ef371bTed Kremenek const BlockDecl *getDecl() const { return BC->getDecl(); } 491d02e83a548359df978f40cc1a52ffd78b7ef371bTed Kremenek 49281cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek class referenced_vars_iterator { 49381cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek const MemRegion * const *R; 49481cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek public: 49581cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek explicit referenced_vars_iterator(const MemRegion * const *r) : R(r) {} 49681cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek 49781cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek operator const MemRegion * const *() const { 49881cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return R; 49981cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 50081cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek 50181cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek const VarRegion* operator*() const { 50281cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return cast<VarRegion>(*R); 50381cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 50481cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek 50581cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek bool operator==(const referenced_vars_iterator &I) const { 50681cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return I.R == R; 50781cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 50881cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek bool operator!=(const referenced_vars_iterator &I) const { 50981cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return I.R != R; 51081cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 51181cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek referenced_vars_iterator& operator++() { 51281cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek ++R; 51381cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek return *this; 51481cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek } 51581cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek }; 51681cef5889027d0f96b24afa7a0bb28d9023474edTed Kremenek 5174240096011a187807058f887eb81df750ffa17feTed Kremenek referenced_vars_iterator referenced_vars_begin() const; 5184240096011a187807058f887eb81df750ffa17feTed Kremenek referenced_vars_iterator referenced_vars_end() const; 5190a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 5208cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner virtual void dumpToStream(raw_ostream& os) const; 5210a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 5220a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 5230a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 52467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID&, const BlockTextRegion *, 52567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *, const MemRegion *); 5260a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 5270a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek static bool classof(const MemRegion* R) { 5280a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek return R->getKind() == BlockDataRegionKind; 5290a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek } 5304240096011a187807058f887eb81df750ffa17feTed Kremenekprivate: 5314240096011a187807058f887eb81df750ffa17feTed Kremenek void LazyInitializeReferencedVars(); 5320a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek}; 533ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 534026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// SymbolicRegion - A special, "non-concrete" region. Unlike other region 535026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// clases, SymbolicRegion represents a region that serves as an alias for 536026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// either a real region, a NULL pointer, etc. It essentially is used to 537026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// map the concept of symbolic values into the domain of regions. Symbolic 538026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu/// regions do not need to be typed. 539e8e86482da4c1872673bbb9c237649229d19793bTed Kremenekclass SymbolicRegion : public SubRegion { 540026c66395b88a09437319139a43b090093f7e1ddZhongxing Xuprotected: 541026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu const SymbolRef sym; 542026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu 543026c66395b88a09437319139a43b090093f7e1ddZhongxing Xupublic: 5441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SymbolicRegion(const SymbolRef s, const MemRegion* sreg) 545e8e86482da4c1872673bbb9c237649229d19793bTed Kremenek : SubRegion(sreg, SymbolicRegionKind), sym(s) {} 5461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 547026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu SymbolRef getSymbol() const { 548026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu return sym; 549026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu } 550026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu 5519852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu bool isBoundable() const { return true; } 5529852b5bf94d4934de63da6356c651c61e81f58d9Zhongxing Xu 553c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 55432f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 555026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu void Profile(llvm::FoldingSetNodeID& ID) const; 556026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu 557250101353b711a409b075f1bc11070dddec7100bTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, 558250101353b711a409b075f1bc11070dddec7100bTed Kremenek SymbolRef sym, 559250101353b711a409b075f1bc11070dddec7100bTed Kremenek const MemRegion* superRegion); 5601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 5618cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 5621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 563026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu static bool classof(const MemRegion* R) { 564026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu return R->getKind() == SymbolicRegionKind; 565026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu } 5661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump}; 567026c66395b88a09437319139a43b090093f7e1ddZhongxing Xu 568e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu/// StringRegion - Region associated with a StringLiteral. 569e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xuclass StringRegion : public TypedRegion { 570e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu friend class MemRegionManager; 571e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu const StringLiteral* Str; 572e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xuprotected: 573e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 574250101353b711a409b075f1bc11070dddec7100bTed Kremenek StringRegion(const StringLiteral* str, const MemRegion* sreg) 575e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu : TypedRegion(sreg, StringRegionKind), Str(str) {} 576e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 577e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu static void ProfileRegion(llvm::FoldingSetNodeID& ID, 578e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu const StringLiteral* Str, 579e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu const MemRegion* superRegion); 580e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 581e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xupublic: 5826613d08a19aa6ce9b6330487f3bfac841d4b8a4dZhongxing Xu 5836613d08a19aa6ce9b6330487f3bfac841d4b8a4dZhongxing Xu const StringLiteral* getStringLiteral() const { return Str; } 5841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 585018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 586ff6978263439e21d795b0602fabcb38488ef8441Zhongxing Xu return Str->getType(); 587ff6978263439e21d795b0602fabcb38488ef8441Zhongxing Xu } 588e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 589c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 59032f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 5910a51f1c6cec6032bcf64ce205bc4edfdc3cb3a2fZhongxing Xu bool isBoundable() const { return false; } 5920a51f1c6cec6032bcf64ce205bc4edfdc3cb3a2fZhongxing Xu 593e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu void Profile(llvm::FoldingSetNodeID& ID) const { 594e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu ProfileRegion(ID, Str, superRegion); 595e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu } 596e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 5978cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 598cc128b32429494fe04ed36d7ba30c011cb4e173aZhongxing Xu 599e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu static bool classof(const MemRegion* R) { 600e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu return R->getKind() == StringRegionKind; 601e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu } 602e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu}; 603e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 604329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek/// CompoundLiteralRegion - A memory region representing a compound literal. 605329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek/// Compound literals are essentially temporaries that are stack allocated 606329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek/// or in the global constant pool. 60777cfac623178d0c16e16e2f171d20b0fea8fde30Zhongxing Xuclass CompoundLiteralRegion : public TypedRegion { 608329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenekprivate: 609329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek friend class MemRegionManager; 610329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek const CompoundLiteralExpr* CL; 611329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek 612329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek CompoundLiteralRegion(const CompoundLiteralExpr* cl, const MemRegion* sReg) 61377cfac623178d0c16e16e2f171d20b0fea8fde30Zhongxing Xu : TypedRegion(sReg, CompoundLiteralRegionKind), CL(cl) {} 6141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 615329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, 616329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek const CompoundLiteralExpr* CL, 617329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek const MemRegion* superRegion); 618329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenekpublic: 619018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 620018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu return CL->getType(); 62177cfac623178d0c16e16e2f171d20b0fea8fde30Zhongxing Xu } 6220a51f1c6cec6032bcf64ce205bc4edfdc3cb3a2fZhongxing Xu 6239a08fee80a34938b8c11c7166e009a89ced4c2b4Zhongxing Xu bool isBoundable() const { return !CL->isFileScope(); } 6249a08fee80a34938b8c11c7166e009a89ced4c2b4Zhongxing Xu 625329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 6261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6278cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 628329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek 62911a83dc7a9a5738cc0bc76180b508eae896eefa9Ted Kremenek const CompoundLiteralExpr* getLiteralExpr() const { return CL; } 6301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 631329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek static bool classof(const MemRegion* R) { 632329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek return R->getKind() == CompoundLiteralRegionKind; 633329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek } 634329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek}; 635178927517fa09ddbb04dc8ef725b5716c18aae21Zhongxing Xu 6369e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass DeclRegion : public TypedRegion { 6379e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekprotected: 6389e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const Decl* D; 6399e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 640993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek DeclRegion(const Decl* d, const MemRegion* sReg, Kind k) 6419e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek : TypedRegion(sReg, k), D(d) {} 6429e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 6439e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Decl* D, 6449e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const MemRegion* superRegion, Kind k); 6451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 646bfb6582ef46dfb33672d9621f879fc262339d704Zhongxing Xupublic: 647bfb6582ef46dfb33672d9621f879fc262339d704Zhongxing Xu const Decl* getDecl() const { return D; } 6489e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 6491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 650c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 65132f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 652e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu static bool classof(const MemRegion* R) { 653e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu unsigned k = R->getKind(); 65467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek return k >= BEG_DECL_REGIONS && k <= END_DECL_REGIONS; 655e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu } 6569e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 6571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6589e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass VarRegion : public DeclRegion { 6599e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek friend class MemRegionManager; 660d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek 661d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek // Constructors and private methods. 66267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek VarRegion(const VarDecl* vd, const MemRegion* sReg) 66367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek : DeclRegion(vd, sReg, VarRegionKind) {} 6649e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 665250101353b711a409b075f1bc11070dddec7100bTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const VarDecl* VD, 666d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek const MemRegion *superRegion) { 6679e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek DeclRegion::ProfileRegion(ID, VD, superRegion, VarRegionKind); 6689e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 6691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 670d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek void Profile(llvm::FoldingSetNodeID& ID) const; 6711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumppublic: 673d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek const VarDecl *getDecl() const { return cast<VarDecl>(D); } 6741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6755348f94abd0e9d3945da8d059b55b156967e8ff9Ted Kremenek const StackFrameContext *getStackFrame() const; 6765348f94abd0e9d3945da8d059b55b156967e8ff9Ted Kremenek 677018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 6786eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek // FIXME: We can cache this if needed. 679018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu return getDecl()->getType(); 6801eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 6811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6828cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 6831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6849e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion* R) { 6859e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek return R->getKind() == VarRegionKind; 6861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 6879e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 688de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 689de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek/// CXXThisRegion - Represents the region for the implicit 'this' parameter 690de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek/// in a call to a C++ method. This region doesn't represent the object 691de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek/// referred to by 'this', but rather 'this' itself. 692de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenekclass CXXThisRegion : public TypedRegion { 693de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek friend class MemRegionManager; 694de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek CXXThisRegion(const PointerType *thisPointerTy, 695de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const MemRegion *sReg) 696de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek : TypedRegion(sReg, CXXThisRegionKind), ThisPointerTy(thisPointerTy) {} 697de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 698de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID &ID, 699de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const PointerType *PT, 700de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const MemRegion *sReg); 701de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 702de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek void Profile(llvm::FoldingSetNodeID &ID) const; 703de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 704de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenekpublic: 705018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 706de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek return QualType(ThisPointerTy, 0); 707de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek } 7087caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7098cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 710de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 711de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek static bool classof(const MemRegion* R) { 712de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek return R->getKind() == CXXThisRegionKind; 713de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek } 714de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 715de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenekprivate: 716de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const PointerType *ThisPointerTy; 717de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek}; 7189e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 7199e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass FieldRegion : public DeclRegion { 7209e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek friend class MemRegionManager; 7219e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 722993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek FieldRegion(const FieldDecl* fd, const MemRegion* sReg) 7239e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek : DeclRegion(fd, sReg, FieldRegionKind) {} 7249e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 7254bd1eefd48c70ebef185e524d0484c00f16000cfTed Kremenekpublic: 7261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7278cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 7281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7294bd1eefd48c70ebef185e524d0484c00f16000cfTed Kremenek const FieldDecl* getDecl() const { return cast<FieldDecl>(D); } 7301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 731018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 7326eddeb153415049c7b62de4b45385a759a6906c6Ted Kremenek // FIXME: We can cache this if needed. 733018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu return getDecl()->getType(); 7341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 7354bd1eefd48c70ebef185e524d0484c00f16000cfTed Kremenek 736c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 73732f2656b90900ac04c4b50e87c16749d0ceb9ef2Jordy Rose 7386304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const FieldDecl* FD, 7396304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek const MemRegion* superRegion) { 7409e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek DeclRegion::ProfileRegion(ID, FD, superRegion, FieldRegionKind); 7419e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 7421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7439e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion* R) { 7449e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek return R->getKind() == FieldRegionKind; 7459e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 7469e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 7471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7489e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass ObjCIvarRegion : public DeclRegion { 7491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7509e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek friend class MemRegionManager; 7511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 752993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek ObjCIvarRegion(const ObjCIvarDecl* ivd, const MemRegion* sReg) 7539e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek : DeclRegion(ivd, sReg, ObjCIvarRegionKind) {} 7549e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 7556304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, const ObjCIvarDecl* ivd, 7566304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek const MemRegion* superRegion) { 7579e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek DeclRegion::ProfileRegion(ID, ivd, superRegion, ObjCIvarRegionKind); 7589e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 7591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7609e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 7619e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek const ObjCIvarDecl* getDecl() const { return cast<ObjCIvarDecl>(D); } 762018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { return getDecl()->getType(); } 7631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7648cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 7651eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7669e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek static bool classof(const MemRegion* R) { 7679e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek return R->getKind() == ObjCIvarRegionKind; 7689e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek } 7699e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek}; 7707caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu//===----------------------------------------------------------------------===// 771fc8f0e14ad142ed811e90fbd9a30e419e301c717Chris Lattner// Auxiliary data classes for use with MemRegions. 7727caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu//===----------------------------------------------------------------------===// 7737caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7747caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xuclass ElementRegion; 7757caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7767caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xuclass RegionRawOffset { 7777caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xuprivate: 7787caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu friend class ElementRegion; 7797caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7807caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu const MemRegion *Region; 7819ff2b13aee0f89d23ef4820218f9b88bb5e5c1c1Ken Dyck CharUnits Offset; 7827caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7839ff2b13aee0f89d23ef4820218f9b88bb5e5c1c1Ken Dyck RegionRawOffset(const MemRegion* reg, CharUnits offset = CharUnits::Zero()) 7847caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu : Region(reg), Offset(offset) {} 7857caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7867caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xupublic: 7877caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu // FIXME: Eventually support symbolic offsets. 7889ff2b13aee0f89d23ef4820218f9b88bb5e5c1c1Ken Dyck CharUnits getOffset() const { return Offset; } 7897caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu const MemRegion *getRegion() const { return Region; } 7907caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu 7918cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 7927caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu void dump() const; 7937caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu}; 794511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 79527b57063d83b00474d7563fb5d608544e2364862Zhongxing Xuclass ElementRegion : public TypedRegion { 796511191ce8920160525611be2be754c32a0724c3eZhongxing Xu friend class MemRegionManager; 797511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 798f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek QualType ElementType; 79902282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek NonLoc Index; 800511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 80102282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg) 802f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek : TypedRegion(sReg, ElementRegionKind), 803f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek ElementType(elementType), Index(Idx) { 8043d8173c1c68f451c7492f92023d829c626845925Chris Lattner assert((!isa<nonloc::ConcreteInt>(&Idx) || 8053d8173c1c68f451c7492f92023d829c626845925Chris Lattner cast<nonloc::ConcreteInt>(&Idx)->getValue().isSigned()) && 80643b28d07019bc78447ecbbb721526de4ffd83f20Chris Lattner "The index must be signed"); 8070395b5d4987fe5baa818015e9d294c128619e4ecZhongxing Xu } 8081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 809f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek static void ProfileRegion(llvm::FoldingSetNodeID& ID, QualType elementType, 810f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek SVal Idx, const MemRegion* superRegion); 811511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 812511191ce8920160525611be2be754c32a0724c3eZhongxing Xupublic: 813511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 81402282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek NonLoc getIndex() const { return Index; } 8156e78e1b22f3b16bb2ef76950b9b75f060bdba7bfZhongxing Xu 816018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 817f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek return ElementType; 818f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek } 8191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 820f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek QualType getElementType() const { 821f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek return ElementType; 822abb042f33ea8e6107a7dc8efc51d2ace329f9f48Ted Kremenek } 8237caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu /// Compute the offset within the array. The array might also be a subobject. 8247caf9b369cba6edaf6eac25121cbc65ee938f14dZhongxing Xu RegionRawOffset getAsArrayOffset() const; 8251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 8268cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 827b21ff77c8126ea628b66d2ffb931fdaa7884f5d2Zhongxing Xu 828511191ce8920160525611be2be754c32a0724c3eZhongxing Xu void Profile(llvm::FoldingSetNodeID& ID) const; 829511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 830511191ce8920160525611be2be754c32a0724c3eZhongxing Xu static bool classof(const MemRegion* R) { 831511191ce8920160525611be2be754c32a0724c3eZhongxing Xu return R->getKind() == ElementRegionKind; 832511191ce8920160525611be2be754c32a0724c3eZhongxing Xu } 833511191ce8920160525611be2be754c32a0724c3eZhongxing Xu}; 83419e1f0ba5cec738ce6cebe3fe0e1edc782206494Ted Kremenek 835bc37b8dd9914e02580f531fa6e5e72be34d9675eZhongxing Xu// C++ temporary object associated with an expression. 83602fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xuclass CXXTempObjectRegion : public TypedRegion { 837bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu friend class MemRegionManager; 838bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 839bc37b8dd9914e02580f531fa6e5e72be34d9675eZhongxing Xu Expr const *Ex; 840bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 84102fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu CXXTempObjectRegion(Expr const *E, MemRegion const *sReg) 84202fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu : TypedRegion(sReg, CXXTempObjectRegionKind), Ex(E) {} 843bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 844bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu static void ProfileRegion(llvm::FoldingSetNodeID &ID, 845bc37b8dd9914e02580f531fa6e5e72be34d9675eZhongxing Xu Expr const *E, const MemRegion *sReg); 846bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 847bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xupublic: 848018220c343c103b7dfaa117a7a474c7a7fd6d068Zhongxing Xu QualType getValueType() const { 849bc37b8dd9914e02580f531fa6e5e72be34d9675eZhongxing Xu return Ex->getType(); 850bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu } 851bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 8528cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 853e1aeb13251a4858724d2b7ad1925d25076f23d08Zhongxing Xu 854bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu void Profile(llvm::FoldingSetNodeID &ID) const; 855bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 856bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu static bool classof(const MemRegion* R) { 85702fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu return R->getKind() == CXXTempObjectRegionKind; 858bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu } 859bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu}; 860bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 8614fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu// CXXBaseObjectRegion represents a base object within a C++ object. It is 8624fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu// identified by the base class declaration and the region of its parent object. 8634fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xuclass CXXBaseObjectRegion : public TypedRegion { 8644fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu friend class MemRegionManager; 8654fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8664fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu const CXXRecordDecl *decl; 8674fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8684fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu CXXBaseObjectRegion(const CXXRecordDecl *d, const MemRegion *sReg) 8694fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu : TypedRegion(sReg, CXXBaseObjectRegionKind), decl(d) {} 8704fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8714fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu static void ProfileRegion(llvm::FoldingSetNodeID &ID, 8724fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu const CXXRecordDecl *decl, const MemRegion *sReg); 8734fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8744fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xupublic: 875d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu const CXXRecordDecl *getDecl() const { return decl; } 876d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu 8774fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu QualType getValueType() const; 8784fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8798cc488fefb2fb04bc8d5398da29f0182f97934cfChris Lattner void dumpToStream(raw_ostream& os) const; 8804fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8814fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu void Profile(llvm::FoldingSetNodeID &ID) const; 8824fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 8834fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu static bool classof(const MemRegion *region) { 8844fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu return region->getKind() == CXXBaseObjectRegionKind; 8854fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu } 8864fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu}; 8874fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 888ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenektemplate<typename RegionTy> 889ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenekconst RegionTy* MemRegion::getAs() const { 890f7a0cf426eddae76e1a71dd2295631a2cf0560afTed Kremenek if (const RegionTy* RT = dyn_cast<RegionTy>(this)) 891f7a0cf426eddae76e1a71dd2295631a2cf0560afTed Kremenek return RT; 8921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 893f7a0cf426eddae76e1a71dd2295631a2cf0560afTed Kremenek return NULL; 894ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenek} 895511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 8969e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek//===----------------------------------------------------------------------===// 8979e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek// MemRegionManager - Factory object for creating regions. 8989e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek//===----------------------------------------------------------------------===// 8999e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 9009e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekclass MemRegionManager { 901a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek ASTContext &C; 9029e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek llvm::BumpPtrAllocator& A; 9039e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek llvm::FoldingSet<MemRegion> Regions; 9041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 905dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek NonStaticGlobalSpaceRegion *globals; 9062b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek 907c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu llvm::DenseMap<const StackFrameContext *, StackLocalsSpaceRegion *> 908c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu StackLocalsSpaceRegions; 909c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu llvm::DenseMap<const StackFrameContext *, StackArgumentsSpaceRegion *> 910c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu StackArgumentsSpaceRegions; 911dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek llvm::DenseMap<const CodeTextRegion *, StaticGlobalSpaceRegion *> 912dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek StaticsGlobalSpaceRegions; 9132b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek 91467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek HeapSpaceRegion *heap; 9152b87ae45e129b941d0a4d221c9d4842385a119bdTed Kremenek UnknownSpaceRegion *unknown; 916d05552a21377f493c882298c59e8829040b01d34Ted Kremenek MemSpaceRegion *code; 917dc0a25d9bff956cdbe54ea0bfc8fbbe3ceb4eb92Zhongxing Xu 9189e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenekpublic: 919a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek MemRegionManager(ASTContext &c, llvm::BumpPtrAllocator& a) 920c30470dd245e2c3b367d3d806e75bf6cc20fc18cZhongxing Xu : C(c), A(a), globals(0), heap(0), unknown(0), code(0) {} 9211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9224240096011a187807058f887eb81df750ffa17feTed Kremenek ~MemRegionManager(); 9231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 924a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek ASTContext &getContext() { return C; } 9254240096011a187807058f887eb81df750ffa17feTed Kremenek 9264240096011a187807058f887eb81df750ffa17feTed Kremenek llvm::BumpPtrAllocator &getAllocator() { return A; } 9271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 92867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// getStackLocalsRegion - Retrieve the memory region associated with the 92967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// specified stack frame. 93067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const StackLocalsSpaceRegion * 93167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek getStackLocalsRegion(const StackFrameContext *STC); 932d05552a21377f493c882298c59e8829040b01d34Ted Kremenek 933d05552a21377f493c882298c59e8829040b01d34Ted Kremenek /// getStackArgumentsRegion - Retrieve the memory region associated with 93467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// function/method arguments of the specified stack frame. 93567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const StackArgumentsSpaceRegion * 93667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek getStackArgumentsRegion(const StackFrameContext *STC); 9371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9389e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getGlobalsRegion - Retrieve the memory region associated with 939dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek /// global variables. 940dcee3ce97fc76f20ce8f5a7451071e3dec537073Ted Kremenek const GlobalsSpaceRegion *getGlobalsRegion(const CodeTextRegion *R = 0); 9411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9429e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getHeapRegion - Retrieve the memory region associated with the 9439e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// generic "heap". 94467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const HeapSpaceRegion *getHeapRegion(); 945178927517fa09ddbb04dc8ef725b5716c18aae21Zhongxing Xu 946178927517fa09ddbb04dc8ef725b5716c18aae21Zhongxing Xu /// getUnknownRegion - Retrieve the memory region associated with unknown 947178927517fa09ddbb04dc8ef725b5716c18aae21Zhongxing Xu /// memory space. 948b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemSpaceRegion *getUnknownRegion(); 949c540b261ac553b91840146eaa3fee3f11b1013a7Zhongxing Xu 950b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemSpaceRegion *getCodeRegion(); 951ec13d9206645af07ef7c571405893b8d901de151Zhongxing Xu 9527090ae1a984eb446a5fb4da7b1f2573830653799Ted Kremenek /// getAllocaRegion - Retrieve a region associated with a call to alloca(). 95367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const AllocaRegion *getAllocaRegion(const Expr* Ex, unsigned Cnt, 95467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *LC); 9551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 956329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek /// getCompoundLiteralRegion - Retrieve the region associated with a 957329d6fde79254503b14724e1231a9d70fa6b387fTed Kremenek /// given CompoundLiteral. 958b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const CompoundLiteralRegion* 95967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek getCompoundLiteralRegion(const CompoundLiteralExpr* CL, 96067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *LC); 961de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek 962fc8f0e14ad142ed811e90fbd9a30e419e301c717Chris Lattner /// getCXXThisRegion - Retrieve the [artificial] region associated with the 963de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek /// parameter 'this'. 964de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const CXXThisRegion *getCXXThisRegion(QualType thisPointerTy, 965de0d26310191215a6d1d189dc419f87af18ce6beTed Kremenek const LocationContext *LC); 9661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 967993f1c72913417be7c534ec7a634363cdfc84fa5Ted Kremenek /// getSymbolicRegion - Retrieve or create a "symbolic" memory region. 968b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const SymbolicRegion* getSymbolicRegion(SymbolRef sym); 969e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 970b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const StringRegion* getStringRegion(const StringLiteral* Str); 971e9f4e5420895a75dd788e9891921e7781c1823b9Zhongxing Xu 9729e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getVarRegion - Retrieve or create the memory region associated with 973d17da2b99f323fa91b01e1dd119cc32e0ee8197dTed Kremenek /// a specified VarDecl and LocationContext. 974b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const VarRegion* getVarRegion(const VarDecl *D, const LocationContext *LC); 9751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 97667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// getVarRegion - Retrieve or create the memory region associated with 97767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// a specified VarDecl and super region. 97867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const VarRegion* getVarRegion(const VarDecl *D, const MemRegion *superR); 97967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 980f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek /// getElementRegion - Retrieve the memory region associated with the 981f936f4568700d799e7d92eecef67b0e2b822ae7eTed Kremenek /// associated element type, index, and super region. 98202282acd7a42d06a3178e3102d34a585bd82dd9fTed Kremenek const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx, 983856c6bcaea56e05255e9f3997ddd56b5c18a14f0Zhongxing Xu const MemRegion *superRegion, 984856c6bcaea56e05255e9f3997ddd56b5c18a14f0Zhongxing Xu ASTContext &Ctx); 9851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 986b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, 987856c6bcaea56e05255e9f3997ddd56b5c18a14f0Zhongxing Xu const MemRegion *superRegion) { 988a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek return getElementRegion(ER->getElementType(), ER->getIndex(), 989a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek superRegion, ER->getContext()); 990a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek } 991511191ce8920160525611be2be754c32a0724c3eZhongxing Xu 9929e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getFieldRegion - Retrieve or create the memory region associated with 9939e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// a specified FieldDecl. 'superRegion' corresponds to the containing 9949e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// memory region (which typically represents the memory representing 9959e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// a structure or class). 996b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const FieldRegion *getFieldRegion(const FieldDecl* fd, 997b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemRegion* superRegion); 9981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 999b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const FieldRegion *getFieldRegionWithSuper(const FieldRegion *FR, 1000b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemRegion *superRegion) { 1001a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek return getFieldRegion(FR->getDecl(), superRegion); 1002a5e81f1240bcc5b9b0721fc6275075ad7cadaf5eTed Kremenek } 10031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 10049e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// getObjCIvarRegion - Retrieve or create the memory region associated with 10059e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// a specified Objective-c instance variable. 'superRegion' corresponds 10069e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// to the containing region (which typically represents the Objective-C 10079e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek /// object). 1008b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const ObjCIvarRegion *getObjCIvarRegion(const ObjCIvarDecl* ivd, 1009b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const MemRegion* superRegion); 10101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 101102fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu const CXXTempObjectRegion *getCXXTempObjectRegion(Expr const *Ex, 101202fe28c8a6da29d4ad88d0900c133dcf22d24a75Zhongxing Xu LocationContext const *LC); 1013bb141217871e93767aa3f2de1b9946fa6d37066aZhongxing Xu 10144fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu const CXXBaseObjectRegion *getCXXBaseObjectRegion(const CXXRecordDecl *decl, 10154fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu const MemRegion *superRegion); 10164fd56816e0925c04f2c92e75399f5c9018d5d6fbZhongxing Xu 1017d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu /// Create a CXXBaseObjectRegion with the same CXXRecordDecl but a different 1018d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu /// super region. 1019d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu const CXXBaseObjectRegion * 1020d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu getCXXBaseObjectRegionWithSuper(const CXXBaseObjectRegion *baseReg, 1021d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu const MemRegion *superRegion) { 1022d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu return getCXXBaseObjectRegion(baseReg->getDecl(), superRegion); 1023d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu } 1024d074441e027471a914cbb909a7aad1d43224950fZhongxing Xu 1025b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const FunctionTextRegion *getFunctionTextRegion(const FunctionDecl *FD); 1026b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const BlockTextRegion *getBlockTextRegion(const BlockDecl *BD, 102767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek CanQualType locTy, 102867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek AnalysisContext *AC); 102967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 103067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// getBlockDataRegion - Get the memory region associated with an instance 103167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// of a block. Unlike many other MemRegions, the LocationContext* 103267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// argument is allowed to be NULL for cases where we have no known 103367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek /// context. 1034b48ad64a0e9e8d6488adebe597b6af32c1eb84f4Ted Kremenek const BlockDataRegion *getBlockDataRegion(const BlockTextRegion *bc, 103567d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const LocationContext *lc = NULL); 10361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1037bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek bool isGlobalsRegion(const MemRegion* R) { 1038bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek assert(R); 1039bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek return R == globals; 1040bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek } 1041bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenek 1042bcd7f9f8cb2f1b78e8ad991677a4364044e1deb7Ted Kremenekprivate: 1043250101353b711a409b075f1bc11070dddec7100bTed Kremenek template <typename RegionTy, typename A1> 1044250101353b711a409b075f1bc11070dddec7100bTed Kremenek RegionTy* getRegion(const A1 a1); 10451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 10466304b08daee27b25ae2e2bdb8bffd67dfad74b3cTed Kremenek template <typename RegionTy, typename A1> 1047eeea45611d45238c34474c183cee96d47ae79e24Ted Kremenek RegionTy* getSubRegion(const A1 a1, const MemRegion* superRegion); 10481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 10497ae7ad9951f032d0a33b64c964f7cdcb9cc6f59bTed Kremenek template <typename RegionTy, typename A1, typename A2> 10507ae7ad9951f032d0a33b64c964f7cdcb9cc6f59bTed Kremenek RegionTy* getRegion(const A1 a1, const A2 a2); 1051dc0a25d9bff956cdbe54ea0bfc8fbbe3ceb4eb92Zhongxing Xu 10520a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek template <typename RegionTy, typename A1, typename A2> 10530a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek RegionTy* getSubRegion(const A1 a1, const A2 a2, 10540a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek const MemRegion* superRegion); 10550a8112a78d00b5140c5b7f16c3b34c2c0c13c1a0Ted Kremenek 105667d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek template <typename RegionTy, typename A1, typename A2, typename A3> 105767d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek RegionTy* getSubRegion(const A1 a1, const A2 a2, const A3 a3, 105867d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const MemRegion* superRegion); 105967d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 106067d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek template <typename REG> 106167d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const REG* LazyAllocate(REG*& region); 106267d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek 106367d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek template <typename REG, typename ARG> 106467d1287035767f4f6c8ca0c2bb755990012a44caTed Kremenek const REG* LazyAllocate(REG*& region, ARG a); 1065ed65d3d97132fbcdd124aef4d2478e348dfbd36bTed Kremenek}; 10661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1067250101353b711a409b075f1bc11070dddec7100bTed Kremenek//===----------------------------------------------------------------------===// 1068a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek// Out-of-line member definitions. 1069250101353b711a409b075f1bc11070dddec7100bTed Kremenek//===----------------------------------------------------------------------===// 1070250101353b711a409b075f1bc11070dddec7100bTed Kremenek 1071a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenekinline ASTContext& MemRegion::getContext() const { 1072a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek return getMemRegionManager()->getContext(); 1073a43484afda4c4fb4b23a53a2dc91d985d39dc2c4Ted Kremenek} 1074eb1c7a04509f5d25c09005a6d46bd8bbb3ca88cbTed Kremenek 10755a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis} // end GR namespace 10765a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis 1077be91224894e1501133e224934285ba6440bf5b59Ted Kremenek} // end clang namespace 10789e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 1079250101353b711a409b075f1bc11070dddec7100bTed Kremenek//===----------------------------------------------------------------------===// 1080250101353b711a409b075f1bc11070dddec7100bTed Kremenek// Pretty-printing regions. 1081250101353b711a409b075f1bc11070dddec7100bTed Kremenek//===----------------------------------------------------------------------===// 1082250101353b711a409b075f1bc11070dddec7100bTed Kremenek 1083be91224894e1501133e224934285ba6440bf5b59Ted Kremeneknamespace llvm { 10848800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenekstatic inline raw_ostream& operator<<(raw_ostream& os, 10859ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremenek const clang::ento::MemRegion* R) { 10868800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek R->dumpToStream(os); 10878800ad4eaa1621f6d23c8264971063b9f8da6a2eTed Kremenek return os; 1088be91224894e1501133e224934285ba6440bf5b59Ted Kremenek} 1089be91224894e1501133e224934285ba6440bf5b59Ted Kremenek} // end llvm namespace 10909e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek 10919e24049bef26b6289cce9ac9b483c5cbb096e3aeTed Kremenek#endif 1092