]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0e0c94) | patch
In GRSimpleVals, added the generation of symbolic values for the return values
authorTed Kremenek <kremenek@apple.com>
Wed, 12 Mar 2008 21:04:07 +0000 (21:04 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 12 Mar 2008 21:04:07 +0000 (21:04 +0000)
commitf923a9117a0ec4a529a257f0e53a657323ebfe4a
tree695d9fea8a5b28f39ae3ce617d34bdaec3846ba9tree | snapshot
parente0e0c94fa26abeef39166fc0d50e901ba3a1a638commit | diff
In GRSimpleVals, added the generation of symbolic values for the return values
of function calls. This is useful in pruning paths.

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