search

llvm / llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
http://llvm.org
Other
27.97k stars 11.54k forks source link

Document z3 usage #34970

Open llvmbot opened 6 years ago

llvmbot commented 6 years ago
Bugzilla Link 35622
Version 5.0
OS All
Reporter LLVM Bugzilla Contributor

Extended Description

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)?

llvmbot commented 6 years ago

assigned to @devincoughlin