diff options
| author | Anna Zaks <ganna@apple.com> | 2012-05-10 21:49:52 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-05-10 21:49:52 +0000 |
| commit | b3b1ae85757a8722caccb742b73ca31b4b53bb0a (patch) | |
| tree | af9a909b57376e77c5a6ffaf983745e2159ec5e3 /lib/Analysis/FormatString.cpp | |
| 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
Diffstat (limited to 'lib/Analysis/FormatString.cpp')
0 files changed, 0 insertions, 0 deletions