[llvm-bugs] [Bug 35622] New: Document z3 usage

via llvm-bugs llvm-bugs at lists.llvm.org
Mon Dec 11 05:40:02 PST 2017


            Bug ID: 35622
           Summary: Document z3 usage
           Product: clang
           Version: 5.0
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: dilyan.palauzov at aegee.org
                CC: llvm-bugs at lists.llvm.org

The release notes for Clang 5.0 state for the Static analyzer:

To enable the z3 solver backend, the -Xanalyzer -analyzer-constraints=z3
arguments must be passed at runtime.

To which tool need the -Xanalyzer and -analyzer-constraints=z3 be passed?
scan-build? ccc-analyzer?  clang (and hence this mode does not with gcc)?

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/20171211/74bb4e31/attachment.html>

More information about the llvm-bugs mailing list