summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/z3/apsint.c
Commit message (Collapse)AuthorAgeFilesLines
* [Analyzer] Fix Z3ConstraintManager crash (PR37646)Vlad Tsyrklevich2018-06-061-0/+16
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
OpenPOWER on IntegriCloud