]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f923a91) | patch
Added generation of symbolic values for the return values of functions that have
authorTed Kremenek <kremenek@apple.com>
Wed, 12 Mar 2008 21:06:49 +0000 (21:06 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 12 Mar 2008 21:06:49 +0000 (21:06 +0000)
commit199e1a071d8a1fdfb18dabad3c751bdc8b2f4487
treefa5fcc65a0aaf588ad3ded25df6ad81086ae0716tree | snapshot
parentf923a9117a0ec4a529a257f0e53a657323ebfe4acommit | diff
Added generation of symbolic values for the return values of functions that have
no summaries (useful for false-path pruning).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48301 91177308-0d34-0410-b5e6-96231b3b80d8
Analysis/CFRefCount.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.