[llvm-bugs] [Bug 39923] New: Trunk build fails rev 348704

via llvm-bugs llvm-bugs at lists.llvm.org
Sat Dec 8 05:01:42 PST 2018


            Bug ID: 39923
           Summary: Trunk build fails rev 348704
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: -New Bugs
          Assignee: unassignedclangbugs at nondot.org
          Reporter: benjima at gmail.com
                CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org,
                    neeilans at live.com, richard-llvm at metafoo.co.uk


I'm getting this error, when trying to build with Release mode:

In function ‘void {anonymous}::Z3ErrorHandler(Z3_context, Z3_error_code)’:
error: cannot convert ‘Z3_context {aka _Z3_context*}’ to ‘Z3_error_code’ for
argument ‘1’ to ‘const char* Z3_get_error_msg(Z3_error_code)’
                            llvm::Twine(Z3_get_error_msg(Context, Error)));
recipe for target
make[2]: ***
Error 1
CMakeFiles/Makefile2:25191: recipe for target
make[1]: ***
Error 2
Makefile:151: recipe for target 'all' failed
make: *** [all] Error 2

SVN info:
Last Changed Rev: 348704
Last Changed Date: 2018-12-08 11:53:10 +0100 (Sa, 08 Dez 2018)

Any hint on how to resolve this?

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/20181208/4467df92/attachment.html>

More information about the llvm-bugs mailing list