]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec78916) | patch
[analyzer] fix inlining's handling of mapping actual to formal arguments and limit...
authorTed Kremenek <kremenek@apple.com>
Thu, 12 Jan 2012 19:25:46 +0000 (19:25 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 12 Jan 2012 19:25:46 +0000 (19:25 +0000)
commit0849ade4bb3e90c2fc0ce01ccd330f76f91da732
tree91f02c0c67e692962dcb1b9c2f1897f9ecb3d7c6tree | snapshot
parentec789163a42a7be654ac34aadb750b508954d53ccommit | diff
[analyzer] fix inlining's handling of mapping actual to formal arguments and limit the call stack depth.  The analyzer can now accurately simulate factorial for limited depths.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148036 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/Store.h diff | blob | history
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp diff | blob | history
lib/StaticAnalyzer/Core/ProgramState.cpp diff | blob | history
lib/StaticAnalyzer/Core/RegionStore.cpp diff | blob | history
lib/StaticAnalyzer/Core/Store.cpp diff | blob | history
test/Analysis/inline.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.