From d588e78b95f426f6a1141a08a7eaebca6c79499d Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 1 Sep 2010 23:00:46 +0000
Subject: Don't assert in the analyzer when analyze code does a byte load from
 a function's address.  Fixes PR 8052.

llvm-svn: 112761
---
 clang/lib/Checker/RegionStore.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'clang/lib/Checker/RegionStore.cpp')

diff --git a/clang/lib/Checker/RegionStore.cpp b/clang/lib/Checker/RegionStore.cpp
index 595fb6f19b0..19945a7b3c8 100644
--- a/clang/lib/Checker/RegionStore.cpp
+++ b/clang/lib/Checker/RegionStore.cpp
@@ -1087,6 +1087,10 @@ SVal RegionStoreManager::RetrieveElement(Store store,
       return ValMgr.makeIntVal(c, T);
     }
   }
+  
+  // Check for loads from a code text region.  For such loads, just give up.
+  if (const CodeTextRegion *cR = dyn_cast<CodeTextRegion>(superR))
+    return UnknownVal();
 
   // Handle the case where we are indexing into a larger scalar object.
   // For example, this handles:
-- 
cgit v1.2.3