| commit | b3b1ae85757a8722caccb742b73ca31b4b53bb0a | [log] [tgz] |
|---|---|---|
| author | Anna Zaks <ganna@apple.com> | Thu May 10 21:49:52 2012 +0000 |
| committer | Anna Zaks <ganna@apple.com> | Thu May 10 21:49:52 2012 +0000 |
| tree | af9a909b57376e77c5a6ffaf983745e2159ec5e3 | |
| parent | 5f9688b7c7fdeafdf530056d49f82d2ec6ca457f [diff] |
[analyzer] Exit early if constraint solver is given a non-integer symbol to reason about. As part of taint propagation, we now allow creation of non-integer symbolic expressions like a cast from int to float. Addresses PR12511 (radar://11215362). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156578 91177308-0d34-0410-b5e6-96231b3b80d8