iris added a comment.
In https://reviews.llvm.org/D28952#751431, @ddcc wrote:
> In https://reviews.llvm.org/D28952#750558, @iris wrote:
>
> > How can I make z3constraintmanager.cpp work in the command line?Or how to
> > make z3 work?
>
>
> You'll need a bleeding-edge build of Clang/LLVM, since this isn't available
> in any stable release yet. First, build or install a recent version of z3;
> `libz3-dev` in Debian/Ubuntu may work. Pass `-DCLANG_ANALYZER_BUILD_Z3=ON` to
> `cmake`, when building LLVM. Then, when running `clang`, pass `-Xanalyzer
> -analyzer-constraints=z3`.
>
> Edit: I should mention, that unless at least https://reviews.llvm.org/D28955
> and https://reviews.llvm.org/D28953 are also applied, you probably won't see
> any concrete improvement in precision of the static analyzer, but only a
> slowdown in performance.
Thank you for helping me build clang with z3.I have already applied the above
updating.But now I have another question, when running clang with '-Xanalyzer
-analyzer-constraints=z3' there is always be a fatal error and I don't know
whether it is right to use a command like 'clang -Xanalyzer
-analyzer-constraints=z3 -analyzer-checker=debug.DumpExplodedGraph test.cpp-'
to get the ExplodedGraph which is analyzed by z3constraint?Sorry to bother.
Repository:
rL LLVM
https://reviews.llvm.org/D28952
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
