diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-08-17 06:19:58 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-08-17 06:19:58 +0000 |
| commit | 5f078cb844b346bacaa9a028d8d68f5e5f3b7a7d (patch) | |
| tree | d4c0fe24a54b65b4a8e63651e8d7c781103a13a1 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | aa1526419c1c3c01bdbc42ffc7b7488f7bffd69d (diff) | |
| download | bcm5719-llvm-5f078cb844b346bacaa9a028d8d68f5e5f3b7a7d.tar.gz bcm5719-llvm-5f078cb844b346bacaa9a028d8d68f5e5f3b7a7d.zip | |
To make the analysis independent on the locally stored liveness and cfg
of GRStateManager and GRExprEngine, pass the initial location context
to the getInitialState() method.
llvm-svn: 79228
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 849dd354bbd..740ad8a6b3a 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -202,8 +202,8 @@ void GRExprEngine::AddCheck(GRSimpleAPICheck *A) { ((MappedBatchAuditor*) BatchAuditor.get())->AddCheck(A); } -const GRState* GRExprEngine::getInitialState() { - const GRState *state = StateMgr.getInitialState(); +const GRState* GRExprEngine::getInitialState(const LocationContext *InitLoc) { + const GRState *state = StateMgr.getInitialState(InitLoc); // Precondition: the first argument of 'main' is an integer guaranteed // to be > 0. |
