commit | 852e3cacf1a2d7d663d1fc3f4bfc8d518d91c4e4 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Thu Jul 03 23:26:32 2008 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Thu Jul 03 23:26:32 2008 +0000 |
tree | d9d10d18e58d576273854462efd5aabdad990868 | |
parent | 9652585e7178aad7e1f58746cf896d313ffd1054 [diff] |
Use conjured symbols for variables whose values are invalidated when passed-by-reference to a function. This allows us to build up constraints for their new values and restore some lost path-sensitivity. This addresses a few false positives since in Adium. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53125 91177308-0d34-0410-b5e6-96231b3b80d8