commit b0e5c27113dd25ec2e58e443fca450a5771c160f
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Mar 01 05:29:02 2010 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Mar 01 05:29:02 2010 +0000
tree c63e8de9bcc8f883c9b31570e4b1a9f09d3b5087
parent aba9436f85b995353a9e5d0a51b274c85f083b37

Assert when loading from a code text region instead of returning an unknown silently.

llvm-svn: 97436

clang/lib/Checker/RegionStore.cpp

diff --git a/clang/lib/Checker/RegionStore.cpp b/clang/lib/Checker/RegionStore.cpp
index f70105a..94decd3 100644
--- a/clang/lib/Checker/RegionStore.cpp
+++ b/clang/lib/Checker/RegionStore.cpp
@@ -975,8 +975,10 @@
   if (isa<AllocaRegion>(MR) || isa<SymbolicRegion>(MR))
     MR = GetElementZeroRegion(MR, T);
 
-  if (isa<CodeTextRegion>(MR))
+  if (isa<CodeTextRegion>(MR)) {
+    assert(0 && "Why load from a code text region?");
     return UnknownVal();
+  }
 
   // FIXME: Perhaps this method should just take a 'const MemRegion*' argument
   //  instead of 'Loc', and have the other Loc cases handled at a higher level.