ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_ast_dump.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  clang
namespace  llvm

Functions

void enable_ast_dump_colors (llvm::raw_ostream &os, clang::ASTContext &ctx)
 Opt os into clang's coloured AST dumps, honouring --color.

Function Documentation

◆ enable_ast_dump_colors()

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.