[llvm-bugs] [Bug 40222] New: StaticAnalyzer/Core/Z3ConstraintManager.cpp uses outdated interface to Z3

via llvm-bugs llvm-bugs at lists.llvm.org
Thu Jan 3 16:34:51 PST 2019


https://bugs.llvm.org/show_bug.cgi?id=40222

            Bug ID: 40222
           Summary: StaticAnalyzer/Core/Z3ConstraintManager.cpp uses
                    outdated interface to Z3
           Product: clang
           Version: 7.0
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: dilyan.palauzov at aegee.org
                CC: dcoughlin at apple.com, llvm-bugs at lists.llvm.org

cfe-7.0.1.src/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp:52               
           llvm::Twine(Z3_get_error_msg_ex(Context, Error)));

but Z3_get_error_msg_ex was removed from Z3:src/api/z3_api.h on 4th July 2018
with
https://github.com/Z3Prover/z3/commit/1eb8ccad59b8ea2c12b1ec8e7e712c7891b252d0
.

In turn the static analyzer does not compile with Z3-4.8.1.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20190104/ee7066d5/attachment.html>


More information about the llvm-bugs mailing list