summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/Regions.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-08-28 23:32:43 +0000
committerTed Kremenek <kremenek@apple.com>2008-08-28 23:32:43 +0000
commit75d2ac956f0b58ab810bcd5709ab77bef00af3b2 (patch)
tree10f035a3af3ec9f5495ce21152cd8301bbfc992e /clang/lib/Analysis/Regions.cpp
parente91874f71f8dcae7ef1bd0f07ef8bfb7db4a5e74 (diff)
downloadbcm5719-llvm-75d2ac956f0b58ab810bcd5709ab77bef00af3b2.tar.gz
bcm5719-llvm-75d2ac956f0b58ab810bcd5709ab77bef00af3b2.zip
Remove Regions.h and Regions.cpp, since we are now using an even more abstract representation of "memory regions" in the static analyzer.
llvm-svn: 55515
Diffstat (limited to 'clang/lib/Analysis/Regions.cpp')
-rw-r--r--clang/lib/Analysis/Regions.cpp34
1 files changed, 0 insertions, 34 deletions
diff --git a/clang/lib/Analysis/Regions.cpp b/clang/lib/Analysis/Regions.cpp
deleted file mode 100644
index b7253162431..00000000000
--- a/clang/lib/Analysis/Regions.cpp
+++ /dev/null
@@ -1,34 +0,0 @@
-//==- Regions.cpp - Abstract memory locations ----------------------*- C++ -*-//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This file defines Region and its subclasses. Regions represent abstract
-// memory locations.
-//
-//===----------------------------------------------------------------------===//
-
-#include "clang/Analysis/PathSensitive/Regions.h"
-#include "clang/Analysis/PathSensitive/BasicValueFactory.h"
-#include "clang/AST/ASTContext.h"
-
-using namespace clang;
-
-RegionExtent VarRegion::getExtent(BasicValueFactory& BV) const {
- QualType T = getDecl()->getType();
-
- // FIXME: Add support for VLAs. This may require passing in additional
- // information, or tracking a different region type.
- if (!T.getTypePtr()->isConstantSizeType())
- return UnknownExtent();
-
- ASTContext& C = BV.getContext();
- assert (!T->isObjCInterfaceType()); // @interface not a possible VarDecl type.
- assert (T != C.VoidTy); // void not a possible VarDecl type.
- return IntExtent(BV.getValue(C.getTypeSize(T), C.VoidPtrTy));
-}
-
OpenPOWER on IntegriCloud