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
