projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c561970) | patch
[Analyzer] Fix Z3ConstraintManager crash (PR37646)
authorVlad Tsyrklevich <vlad@tsyrklevich.net>
Wed, 6 Jun 2018 06:09:02 +0000 (06:09 +0000)
committerVlad Tsyrklevich <vlad@tsyrklevich.net>
Wed, 6 Jun 2018 06:09:02 +0000 (06:09 +0000)
commit6f8f15fa72623257d03eb8e742552d16f5e4a304
tree74540df1e21bf228ffc950ac70ee5a679b530a2ftree | snapshot
parentc561970b27c3363b59e4425a3d1a4f2dafe5e00dcommit | diff
[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
clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp diff | blob | history
clang/test/Analysis/apsint.c [deleted file] blob | history
clang/test/Analysis/z3/apsint.c [new file with mode: 0644] blob
Domain: System / Toolchain;