cprover
Loading...
Searching...
No Matches
ansi_c_language.cpp File Reference
#include "ansi_c_language.h"
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/get_base_name.h>
#include <util/replace_symbol.h>
#include <util/symbol_table.h>
#include <linking/linking.h>
#include <linking/remove_internal_symbols.h>
#include "ansi_c_entry_point.h"
#include "ansi_c_internal_additions.h"
#include "ansi_c_parser.h"
#include "ansi_c_typecheck.h"
#include "c_preprocess.h"
#include "expr2c.h"
#include "type2name.h"
Include dependency graph for ansi_c_language.cpp:

Go to the source code of this file.

Functions

static void adjust_tentative_array_definitions (symbol_table_baset &symbol_table)
 Adjust non-extern file-scope incomplete array definitions (tentative definitions without a size) to an array of size 1, per C standard 6.9.2(5), and rewrite the type carried on any symbol expressions referring to them so that the symbol's type and its uses in code stay consistent.
std::unique_ptr< languagetnew_ansi_c_language ()

Function Documentation

◆ adjust_tentative_array_definitions()

void adjust_tentative_array_definitions ( symbol_table_baset & symbol_table)
static

Adjust non-extern file-scope incomplete array definitions (tentative definitions without a size) to an array of size 1, per C standard 6.9.2(5), and rewrite the type carried on any symbol expressions referring to them so that the symbol's type and its uses in code stay consistent.

Definition at line 116 of file ansi_c_language.cpp.

◆ new_ansi_c_language()

std::unique_ptr< languaget > new_ansi_c_language ( )

Definition at line 202 of file ansi_c_language.cpp.