[llvm-bugs] [Bug 35622] New: Document z3 usage
llvm-bugs at lists.llvm.org
Mon Dec 11 05:40:02 PST 2017
Bug ID: 35622
Summary: Document z3 usage
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...
More information about the llvm-bugs