2 Commits

Author	SHA1	Message	Date
Vlad Tsyrklevich	a7d25d5934	[Analyzer][Z3] Test fixes for Z3 constraint manager ... Summary: Since Z3 tests have been not been running [1] some tests needed to be updated. I also added a regression test for [1]. [1] https://reviews.llvm.org/D47722 Reviewers: george.karpenkov, NoQ, ddcc Reviewed By: george.karpenkov Subscribers: mikhail.ramalho, dcoughlin, xazax.hun, szepet, zzheng, a.sidorin, cfe-commits Differential Revision: https://reviews.llvm.org/D47726 llvm-svn: 334067	2018-06-06 06:25:51 +00:00
Vlad Tsyrklevich	6f8f15fa72	[Analyzer] Fix Z3ConstraintManager crash (PR37646) ... Summary: Fix another Z3ConstraintManager crash, use fixAPSInt() to extend a boolean APSInt. Reviewers: george.karpenkov, NoQ, ddcc Reviewed By: george.karpenkov Subscribers: xazax.hun, szepet, a.sidorin, cfe-commits Differential Revision: https://reviews.llvm.org/D47617 llvm-svn: 334065	2018-06-06 06:09:02 +00:00