static.c File Reference

#include <stdio.h>
#include <string.h>
#include "linear.h"
#include "genC.h"
#include "misc.h"
#include "ri.h"
#include "ri-util.h"

Include dependency graph for static.c:

Go to the source code of this file.

Functions
entity	set_current_module_entity (entity e)
	Set the current module entity. More...
entity	get_current_module_entity ()
	Get the entity of the current module. More...
void	reset_current_module_entity ()
	Reset the current module entity. More...
void	error_reset_current_module_entity ()
	To be called by an error management routine only. More...
const char *	get_current_module_name ()
	Get the name of the current module. More...
void	set_current_module_declarations (list l)
void	reset_current_module_declarations ()
list	get_current_module_declarations ()
statement	set_current_module_statement (statement s)
	Set the current module statement. More...
void	push_current_module_statement (statement s)
	Set the statement of the current module and push the statement of the previous one on a stack. More...
void	pop_current_module_statement (void)
	Pop the current module statement stack and use it as the current module statement. More...
statement	get_current_module_statement ()
	Get the current module statement. More...
void	reset_current_module_statement ()
	Reset the current module statement. More...
void	error_reset_current_module_statement ()
	To be called by an error management routine only. More...
hash_table	make_keyword_typedef_table (int tk)
void	set_keyword_typedef_table (hash_table h)
void	reset_keyword_typedef_table ()
void	free_keyword_typedef_table ()
void	declare_new_typedef (const string tn)
_int	is_c_keyword_typedef (char *s)
	This function checks if s is a C keyword or typedef name and returns the token number thanks to the hash-table keyword_typedef_table. More...
void	make_statement_global_stack ()
void	push_statement_on_statement_global_stack (statement st)
statement	get_current_statement_from_statement_global_stack ()
statement	pop_statement_global_stack (void)
void	free_statement_global_stack ()
bool	statement_global_stack_defined_p ()

Variables
static entity	current_module_entity = entity_undefined
	static variables and related access functions concerning the current module More...
static list	current_module_declaration_list =list_undefined
static statement	current_module_statement = statement_undefined
	used to retrieve the intraprocedural effects of the current module More...
static statement	stacked_current_module_statement = statement_undefined
hash_table	keyword_typedef_table = hash_table_undefined
	Because of typedefs, the C lexers need help to decide if a character string such as toto is a type name or a keyword or an identifier. More...
static int	token_named_type = -1
static stack	statement_global_stack = stack_undefined

Function Documentation

declare_new_typedef()

void declare_new_typedef

(

const string

tn

)

Parameters

tn

n

Definition at line 283 of file static.c.

{
  hash_put(keyword_typedef_table, strdup(tn), (const void *) ((long long int) token_named_type));
}

References hash_put(), keyword_typedef_table, strdup(), and token_named_type.

Referenced by AddEntityToCompilationUnit().

Here is the call graph for this function:

Here is the caller graph for this function:

error_reset_current_module_entity()

void error_reset_current_module_entity

(

void

)

To be called by an error management routine only.

Definition at line 109 of file static.c.

{
    current_module_entity = entity_undefined;
    reset_current_module_declarations();
}

References current_module_entity, entity_undefined, and reset_current_module_declarations().

Referenced by c_parser_error(), ParserError(), and reset_static_phase_variables().

Here is the call graph for this function:

Here is the caller graph for this function:

error_reset_current_module_statement()

void error_reset_current_module_statement

(

void

)

To be called by an error management routine only.

Definition at line 234 of file static.c.

{
    current_module_statement = statement_undefined;
    stacked_current_module_statement = statement_undefined;
    reset_current_module_declarations();
}

References current_module_statement, reset_current_module_declarations(), stacked_current_module_statement, and statement_undefined.

Referenced by AbortEntries(), and reset_static_phase_variables().

Here is the call graph for this function:

Here is the caller graph for this function:

free_keyword_typedef_table()

void free_keyword_typedef_table

(

void

)

Definition at line 275 of file static.c.

{
  hash_table_free(keyword_typedef_table);
  keyword_typedef_table = hash_table_undefined;
  // No need to reset this value. It is a constant defined by Bison.
  // token_named_type = -1;
}

References hash_table_free(), hash_table_undefined, and keyword_typedef_table.

Referenced by csplit_error_handler(), and csplit_reset().

Here is the call graph for this function:

Here is the caller graph for this function:

free_statement_global_stack()

void free_statement_global_stack

(

void

)

Definition at line 358 of file static.c.

{
  stack_free(&statement_global_stack);
  statement_global_stack = stack_undefined;
}

References stack_free(), stack_undefined, and statement_global_stack.

Referenced by generic_module_name_to_transformers(), generic_points_to_analysis(), generic_print_xml_application(), initial_precondition(), live_out_paths_from_caller_to_callee(), make_statement_global_stack(), module_name_to_preconditions(), partial_eval(), program_precondition(), and summary_precondition().

Here is the call graph for this function:

Here is the caller graph for this function:

get_current_statement_from_statement_global_stack()

statement get_current_statement_from_statement_global_stack

(

void

)

Definition at line 344 of file static.c.

{
  statement st = statement_undefined;
  if(!stack_empty_p(statement_global_stack))
    st = (statement) stack_head(statement_global_stack);
  return st;
}

References stack_empty_p(), stack_head(), statement_global_stack, and statement_undefined.

Referenced by c_user_call_to_transformer(), call_to_transformer(), points_to_context_statement_line_number(), semantics_expression_to_points_to_sinks(), semantics_expression_to_points_to_sources(), and semantics_user_warning_alist().

Here is the call graph for this function:

Here is the caller graph for this function:

is_c_keyword_typedef()

_int is_c_keyword_typedef

(

char *

s

)

This function checks if s is a C keyword or typedef name and returns the token number thanks to the hash-table keyword_typedef_table.

It returns an integer number corresponding to the keyword.

It returns 0 if s is not a keyword/typedef name

Definition at line 297 of file static.c.

{
  _int i = (_int) hash_get(keyword_typedef_table,s);
  return ((char *) i == HASH_UNDEFINED_VALUE) ? 0: i;
}

References hash_get(), HASH_UNDEFINED_VALUE, and keyword_typedef_table.

Referenced by is_c_parser_keyword_typedef(), and is_c_preprocessor_keyword_typedef().

Here is the call graph for this function:

Here is the caller graph for this function:

make_keyword_typedef_table()

hash_table make_keyword_typedef_table

(

int

tk

)

Parameters

tk

k

Definition at line 256 of file static.c.

{
  token_named_type = tk;
  keyword_typedef_table = hash_table_make(hash_string,0);
  return keyword_typedef_table;
}

References hash_string, hash_table_make(), keyword_typedef_table, and token_named_type.

Referenced by parser_init_keyword_typedef_table(), and preprocessor_init_keyword_typedef_table().

Here is the call graph for this function:

Here is the caller graph for this function:

make_statement_global_stack()

void make_statement_global_stack

(

void

)

This assert is too strong when user errors occur. Each pass should pprovide a "clean-up" function to be called by user_error() without creating a library cycle

This is an error recovery

Definition at line 318 of file static.c.

{
  /* This assert is too strong when user errors occur. Each pass
   * should pprovide a "clean-up" function to be called by
   * user_error() without creating a library cycle
   */
  //pips_assert("statement_global_stack is undefined",
  //              stack_undefined_p(statement_global_stack));
  if(!stack_undefined_p(statement_global_stack)) {
    /* This is an error recovery */
    free_statement_global_stack();
  }
  statement_global_stack = stack_make(statement_domain, 0, 0);
}

References free_statement_global_stack(), stack_make(), stack_undefined_p, statement_domain, and statement_global_stack.

Referenced by generic_module_name_to_transformers(), generic_points_to_analysis(), generic_print_xml_application(), initial_precondition(), live_out_paths_from_caller_to_callee(), module_name_to_preconditions(), partial_eval(), program_precondition(), and summary_precondition().

Here is the call graph for this function:

Here is the caller graph for this function:

pop_statement_global_stack()

statement pop_statement_global_stack

(

void

)

Definition at line 352 of file static.c.

{
  statement st = (statement) stack_pop(statement_global_stack);
  return st;
}

References stack_pop(), and statement_global_stack.

Referenced by partial_eval_statement(), statement_to_points_to(), statement_to_postcondition(), statement_to_transformer(), update_precondition_with_call_site_preconditions(), xml_Argument(), xml_Boxes(), xml_Call(), xml_Chain_Graph(), xml_Loop(), xml_Loops(), and xml_Task().

Here is the call graph for this function:

Here is the caller graph for this function:

push_statement_on_statement_global_stack()

void push_statement_on_statement_global_stack

(

statement

st

)

Parameters

st

t

Definition at line 333 of file static.c.

{
  stack_push((void *) st, statement_global_stack);
}

References stack_push(), and statement_global_stack.

Referenced by memorize_precondition_for_summary_precondition(), partial_eval_statement(), statement_to_points_to(), statement_to_postcondition(), statement_to_transformer(), xml_Argument(), xml_Boxes(), xml_Call(), xml_Chain_Graph(), xml_Loop(), xml_Loops(), and xml_Task().

Here is the call graph for this function:

Here is the caller graph for this function:

reset_keyword_typedef_table()

void reset_keyword_typedef_table

(

void

)

Definition at line 268 of file static.c.

{
  keyword_typedef_table = hash_table_undefined;
  // No need to reset this value. It is a constant defined by Bison.
  // token_named_type = -1;
}

References hash_table_undefined, and keyword_typedef_table.

set_keyword_typedef_table()

void set_keyword_typedef_table

(

hash_table

h

)

Definition at line 263 of file static.c.

{
  keyword_typedef_table = h;
}

References keyword_typedef_table.

Referenced by AddEntityToCompilationUnit().

Here is the caller graph for this function:

statement_global_stack_defined_p()

bool statement_global_stack_defined_p

(

void

)

Definition at line 364 of file static.c.

{
  return !stack_undefined_p(statement_global_stack);
}

References stack_undefined_p, and statement_global_stack.

Referenced by call_to_transformer(), and statement_to_transformer().

Here is the caller graph for this function:

Variable Documentation

current_module_declaration_list

list current_module_declaration_list =list_undefined

static

Definition at line 50 of file static.c.

Referenced by get_current_module_declarations(), reset_current_module_declarations(), and set_current_module_declarations().

current_module_entity

entity current_module_entity = entity_undefined

static

static variables and related access functions concerning the current module

Be'atrice Apvrille, august 27, 1993 used to store the summary transformer ? to retrieve intraprocedural effects ?

Definition at line 49 of file static.c.

Referenced by error_reset_current_module_entity(), get_current_module_entity(), get_current_module_name(), reset_current_module_entity(), and set_current_module_entity().

current_module_statement

statement current_module_statement = statement_undefined

static

used to retrieve the intraprocedural effects of the current module

Definition at line 153 of file static.c.

Referenced by error_reset_current_module_statement(), get_current_module_statement(), pop_current_module_statement(), push_current_module_statement(), reset_current_module_statement(), and set_current_module_statement().

keyword_typedef_table

hash_table keyword_typedef_table = hash_table_undefined

Because of typedefs, the C lexers need help to decide if a character string such as toto is a type name or a keyword or an identifier.

Such a table is used by the C preprocessor and by the C parser. It is also updated for in- or outlining with new typedef names.

The table must be initialized with token values generated by bison. The token values could possibly be different for the PIPS preprocessor and syntactic analyzer. Each has its own initialization function, parser_init_keyword_typedef_table() and preprocessor_init_keyword_table().

Definition at line 253 of file static.c.

Referenced by actual_c_parser(), c_parser_put_new_typedef(), declare_new_typedef(), free_keyword_typedef_table(), is_c_keyword_typedef(), keep_track_of_typedef(), make_keyword_typedef_table(), parser_init_keyword_typedef_table(), preprocessor_init_keyword_typedef_table(), put_new_typedef(), reset_keyword_typedef_table(), and set_keyword_typedef_table().

stacked_current_module_statement

statement stacked_current_module_statement = statement_undefined

static

Definition at line 154 of file static.c.

Referenced by error_reset_current_module_statement(), pop_current_module_statement(), and push_current_module_statement().

statement_global_stack

stack statement_global_stack = stack_undefined

static

Definition at line 316 of file static.c.

Referenced by free_statement_global_stack(), get_current_statement_from_statement_global_stack(), make_statement_global_stack(), pop_statement_global_stack(), push_statement_on_statement_global_stack(), and statement_global_stack_defined_p().

token_named_type

int token_named_type = -1

static

Definition at line 254 of file static.c.

Referenced by declare_new_typedef(), and make_keyword_typedef_table().