[PATCH] D47603: [analyzer] fix bug with 1-bit APSInt types in Z3ConstraintManager
Dominic Chen via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu May 31 12:55:29 PDT 2018
ddcc created this revision.
ddcc added reviewers: george.karpenkov, NoQ.
Herald added subscribers: a.sidorin, szepet, xazax.hun.
Clang does not have a corresponding QualType for a 1-bit APSInt, so use the BoolTy and extend the APSInt. Split from https://reviews.llvm.org/D35450.
Repository:
rC Clang
https://reviews.llvm.org/D47603
Files:
lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D47603.149344.patch
Type: text/x-patch
Size: 7136 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180531/ad7ae2f6/attachment-0001.bin>
More information about the cfe-commits
mailing list