diff options
| author | Vlad Tsyrklevich <vlad@tsyrklevich.net> | 2018-06-06 06:09:02 +0000 |
|---|---|---|
| committer | Vlad Tsyrklevich <vlad@tsyrklevich.net> | 2018-06-06 06:09:02 +0000 |
| commit | 6f8f15fa72623257d03eb8e742552d16f5e4a304 (patch) | |
| tree | 74540df1e21bf228ffc950ac70ee5a679b530a2f /clang/test/Analysis/z3/enabled.c | |
| parent | c561970b27c3363b59e4425a3d1a4f2dafe5e00d (diff) | |
| download | bcm5719-llvm-6f8f15fa72623257d03eb8e742552d16f5e4a304.tar.gz bcm5719-llvm-6f8f15fa72623257d03eb8e742552d16f5e4a304.zip | |
[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
Diffstat (limited to 'clang/test/Analysis/z3/enabled.c')
0 files changed, 0 insertions, 0 deletions
