https://bugs.llvm.org/show_bug.cgi?id=35622
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: [email protected]
Reporter: [email protected]
CC: [email protected]
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._______________________________________________
llvm-bugs mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
