diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-28 23:32:43 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-28 23:32:43 +0000 |
| commit | 75d2ac956f0b58ab810bcd5709ab77bef00af3b2 (patch) | |
| tree | 10f035a3af3ec9f5495ce21152cd8301bbfc992e /clang/lib/Analysis/Regions.cpp | |
| parent | e91874f71f8dcae7ef1bd0f07ef8bfb7db4a5e74 (diff) | |
| download | bcm5719-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.cpp | 34 |
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)); -} - |

