[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