projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8671488) | patch
[analyzer] Provide an option to dump generated exploded graphs to a given file.
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 28 Sep 2018 18:49:21 +0000 (18:49 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 28 Sep 2018 18:49:21 +0000 (18:49 +0000)
commitc704f4fbd0a41090e68aaf056b31803481f535ff
tree38ee7223806a6c6df95f5f9655c6314ed1014f32tree | snapshot
parent86714886d94262d9c0acbc7b31ef8ea332cb66d3commit | diff
[analyzer] Provide an option to dump generated exploded graphs to a given file.

Dumping graphs instead of opening them is often very useful,
e.g. for transfer or converting to SVG.

Basic sanity check for generated exploded graphs.

Differential Revision: https://reviews.llvm.org/D52637

llvm-svn: 343352
clang/include/clang/Driver/CC1Options.td diff | blob | history
clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
clang/lib/Frontend/CompilerInvocation.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp diff | blob | history
clang/test/Analysis/dump_egraph.c [new file with mode: 0644] blob
Domain: System / Toolchain;