From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Tue, 13 Oct 2009 06:07:58 +0000 (+0000)
Subject: Return the original state by default.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d6116cc4730245f09d458167aa94f2ea6e2b2b53;p=clang

Return the original state by default.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83949 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/clang/Analysis/PathSensitive/Store.h b/include/clang/Analysis/PathSensitive/Store.h
index c274435728..c9713c0b36 100644
--- a/include/clang/Analysis/PathSensitive/Store.h
+++ b/include/clang/Analysis/PathSensitive/Store.h
@@ -162,7 +162,7 @@ public:
   /// engine is about to execute into a callee.
   virtual const GRState *EnterStackFrame(const GRState *state,
                                          const StackFrameContext *frame) {
-    assert(0 && "EnterStackFrame() is not supported in this Store Model.");
+    return state;
   }
 
   virtual void print(Store store, llvm::raw_ostream& Out,