clang_c_language.cpp File Reference

#include <util/base/compiler_defs.h>
#include <clang-c-frontend/clang_c_adjust_irep2.h>
#include <clang/Basic/TargetInfo.h>
#include <clang/Basic/Version.inc>
#include <clang/Frontend/ASTUnit.h>
#include <AST/build_ast.h>
#include <clang-c-frontend/c_preprocess.h>
#include <boost/filesystem.hpp>
#include <c2goto/cprover_library.h>
#include <clang-c-frontend/clang_c_adjust.h>
#include <clang-c-frontend/clang_c_convert.h>
#include <clang-c-frontend/clang_c_language.h>
#include <clang-c-frontend/clang_c_main.h>
#include <util/lang/c_expr2string.h>
#include <sstream>
#include <util/lang/c_link.h>
#include <util/base/filesystem.h>
#include <clang-c-frontend/nested_func_transform.h>
#include <clang-c-frontend/clang_c_lexer.h>
#include <util/base/yaml_parser.h>
#include <ac_config.h>

Include dependency graph for clang_c_language.cpp:

Functions
languaget *	new_clang_c_language ()
static void	add_byte_order_macros (std::vector< std::string > &compiler_args)
static std::optional< file_operations::tmp_file >	write_witness_tmp (const std::string &content)
static bool	ast_failed (const std::unique_ptr< clang::ASTUnit > &unit)
static unsigned	bitint_max_align (const clang::TargetInfo &target)
static void	adopt_target_layout (const clang::TargetInfo &target)
	Takes the alignments the data model cannot express from clang's target.

Function Documentation

add_byte_order_macros()

void add_byte_order_macros ( std::vector< std::string > & compiler_args )

static

adopt_target_layout()

void adopt_target_layout ( const clang::TargetInfo & target )

static

Takes the alignments the data model cannot express from clang's target.

ast_failed()

bool ast_failed ( const std::unique_ptr< clang::ASTUnit > & unit )

static

bitint_max_align()

unsigned bitint_max_align ( const clang::TargetInfo & target )

static

new_clang_c_language()

languaget * new_clang_c_language

(

)

write_witness_tmp()

std::optional< file_operations::tmp_file > write_witness_tmp ( const std::string & content )

static