]> granicus.if.org Git - clang/commit
When profiling Environment, also profile with AnalysisContext*, bacause
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 4 Mar 2010 09:04:52 +0000 (09:04 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 4 Mar 2010 09:04:52 +0000 (09:04 +0000)
commit57d3b76761bdba265769deb497afa784935602be
tree2d6e2e3f667aaa22d167c011322684b667ac5ca8
parent468ec6c0266e48fccb26ce50d5b915c645bb3c7b
When profiling Environment, also profile with AnalysisContext*, bacause
we now may have identical states with different analysis context.

Set the right AnalysisContext in state when entering and leaving a callee.

With both of the above changes, we can pass the test case.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@97724 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Checker/PathSensitive/Environment.h
include/clang/Checker/PathSensitive/GRState.h
lib/Checker/GRCoreEngine.cpp
lib/Checker/GRExprEngine.cpp
lib/Checker/GRState.cpp
test/Analysis/inline3.c [new file with mode: 0644]