[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


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

            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

Hi!

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

/home/slave/llvm-local/llvm/tools/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp:
In function ‘void {anonymous}::Z3ErrorHandler(Z3_context, Z3_error_code)’:
/home/slave/llvm-local/llvm/tools/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp:49:71:
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)));
                                                                       ^
tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/build.make:1190:
recipe for target
'tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/Z3ConstraintManager.cpp.o'
failed
make[2]: ***
[tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/Z3ConstraintManager.cpp.o]
Error 1
CMakeFiles/Makefile2:25191: recipe for target
'tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/all'
failed
make[1]: ***
[tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/all]
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