[prev in list] [next in list] [prev in thread] [next in thread] 

List:       cfe-commits
Subject:    [PATCH] D47603: [analyzer] fix bug with 1-bit APSInt types in Z3ConstraintManager
From:       Vlad Tsyrklevich via Phabricator via cfe-commits <cfe-commits () lists ! llvm ! org>
Date:       2018-05-31 20:38:42
Message-ID: e7586bb1a85c17131557ec7448b12451 () localhost ! localdomain
[Download RAW message or body]

vlad.tsyrklevich added a comment.

In https://reviews.llvm.org/D47603#1118106, @george.karpenkov wrote:

> Would it be possible to add tests? I know we have very few unit tests, but I assume \
> you could actually use an integration test to exercise this path?


I tested this change and it fixes PR37622. There's a simple crash reproducer included \
there.


Repository:
  rC Clang

https://reviews.llvm.org/D47603



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits


[prev in list] [next in list] [prev in thread] [next in thread]