|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <clang-c-frontend/clang_ast_dump.h>#include <clang/AST/ASTContext.h>#include <clang/Basic/Diagnostic.h>#include <llvm/Support/raw_ostream.h>#include <util/config/config.h>Functions | |
| void | enable_ast_dump_colors (llvm::raw_ostream &os, clang::ASTContext &ctx) |
Opt os into clang's coloured AST dumps, honouring --color. | |
| void enable_ast_dump_colors | ( | llvm::raw_ostream & | os, |
| clang::ASTContext & | ctx ) |
Opt os into clang's coloured AST dumps, honouring --color.
Two independent gates suppress the colour that --parse-tree-* already gets (esbmc/esbmc#746): Decl::dump builds its ASTDumper from ASTContext::getDiagnostics().getShowColors(), and raw_ostream refuses to emit escapes to a stream that is not a terminal – which the raw_os_ostream wrappers around std::ostringstream never are. Open both, or neither.