diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2018-05-31 22:23:07 +0000 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2018-05-31 22:23:07 +0000 |
| commit | cd81614e8b5758cce1c1c513ae4adbf50f630256 (patch) | |
| tree | 5ae657cb4b4af3eb3ad0d1a62c0b6a4685fdff3c /llvm/test/CodeGen/WebAssembly/non-executable-stack.ll | |
| parent | c6479199336213dde8cbcb575f3a83cfe5ae22a2 (diff) | |
| download | bcm5719-llvm-cd81614e8b5758cce1c1c513ae4adbf50f630256.tar.gz bcm5719-llvm-cd81614e8b5758cce1c1c513ae4adbf50f630256.zip | |
[analyzer] fix bug with 1-bit APSInt types in Z3ConstraintManager
Summary: Clang does not have a corresponding QualType for a 1-bit APSInt, so use the BoolTy and extend the APSInt. Split from D35450. Fixes PR37622.
Reviewers: george.karpenkov, NoQ
Subscribers: mikhail.ramalho, xazax.hun, szepet, rnkovacs, cfe-commits, a.sidorin
Differential Revision: https://reviews.llvm.org/D47603
llvm-svn: 333704
Diffstat (limited to 'llvm/test/CodeGen/WebAssembly/non-executable-stack.ll')
0 files changed, 0 insertions, 0 deletions
