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 | fe1ccee0f5f59dd833fa1a5e826fe3484a991c9e (patch) | |
| tree | a365c6db4ee1801d18872634a6afd15eadae648b /lldb/examples/python/crashlog.py | |
| parent | ed51b9ec0bc3c3887f64b74793cd7997039fefe2 (diff) | |
| download | bcm5719-llvm-fe1ccee0f5f59dd833fa1a5e826fe3484a991c9e.tar.gz bcm5719-llvm-fe1ccee0f5f59dd833fa1a5e826fe3484a991c9e.zip | |
[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).
llvm-svn: 156578
Diffstat (limited to 'lldb/examples/python/crashlog.py')
0 files changed, 0 insertions, 0 deletions
