CBMC
Loading...
Searching...
No Matches
Functions
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

  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()

static void adjust_tentative_array_definitions ( symbol_table_basetsymbol_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.

AltStyle によって変換されたページ (->オリジナル) /