mikhail.ramalho added a comment.
Since we're supporting version 4.8.1 now, the cmake file should be changed to
"minimum" instead of "exact".
Repository:
rL LLVM
https://reviews.llvm.org/D54391
___
cfe-commits mailing list
cfe-commits@lists.llvm.
This revision was automatically updated to reflect the committed changes.
Closed by commit rL346635: Fix compatibility with z3-4.8.1 (authored by
jankratochvil, committed by ).
Herald added a subscriber: llvm-commits.
Changed prior to commit:
https://reviews.llvm.org/D54391?vs=173555&id=173618#
jankratochvil created this revision.
jankratochvil added a reviewer: clang.
jankratochvil added a project: clang.
With `z3-4.8.1` as found in Fedora Rawhide (future Fedora 30) as
`z3-devel-4.8.1-1.fc30.x86_64`:
../tools/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp: In function
'void
