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
1 file changed