]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a93423) | patch
Added path-sensitive check for return statements that return the address
authorTed Kremenek <kremenek@apple.com>
Mon, 31 Mar 2008 15:02:58 +0000 (15:02 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 31 Mar 2008 15:02:58 +0000 (15:02 +0000)
commit02737ed29d7fff2206f7c7ee958cdf0665e35542
treee50ad83a50d1573a5d090506dd60caff4c56ae7ftree | snapshot
parent8a934233d1582b5bde9d270bc0705aa81e471a79commit | diff
Added path-sensitive check for return statements that return the address
of a stack variable.  This is the path-sensitive version of a check that
is already done during semantic analysis.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48980 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRExprEngine.h diff | blob | history
lib/Analysis/GRExprEngine.cpp diff | blob | history
lib/Analysis/GRSimpleVals.cpp diff | blob | history
test/Analysis/stack-addr-ps.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.