6 #ifndef flint_header_included
7 #define flint_header_included
36 extern bool flinter(
const string );
void flint_syntax(syntax)
verification of syntaxes
bool find_bd_type_variable(type, basic *, list *)
void flint_message_2(char *, char *,...)
Same as flint_message but without the function name
void raw_flint_message(bool, char *,...)
Same as flint_message but a bare bones version
void check_one_common(entity, entity)
bool check_commons(entity)
loop flint_loop(loop)
Recursive verification of a loop as (range)+(expression)
bool look_at_the_commons(entity)
instruction flint_instruction(instruction)
Verification of an instruction with branching according
void flint_uninitialized_variables(graph, statement)
uninitialized_variables.c
void flint_unstructured(unstructured)
void flint_cons_actual_argument(list)
bool find_bd_parameter(parameter, basic *, list *)
void flint_cons_statement(list)
bool size_of_dimension(dimension, intptr_t *)
this function computes the size of a dimension.
bool check_call_basic_and_dim(expression, parameter, call, int)
bool check_overlap_in_common(entity, entity, int, int, entity, int, int)
bool check_procedure(call)
flint_check.c
bool check_call_one_mode(expression, parameter, entity, list, int)
This function checks that a reference to a constant in a call may not be modified,...
bool check_call_one_type(expression, parameter, call, int)
bool find_bd_reference(reference, basic *, list *)
bool flinter(const string)
Routine of global module verification
bool check_call_mode_consistency(list, list, entity)
bool check_call_args_number(list, list, call)
call flint_call(call)
This function checks the syntax of a call and recursively.
void flint_message(char *, char *,...)
reference flint_reference(reference)
A reference is used when given a function the address of.
bool check_call_intrinsic(list, list, call)
void check_the_reference(reference)
statement flint_statement(statement)
bool find_bd_call(call, basic *, list *)
bool position_in_the_area(entity, intptr_t *, intptr_t *)
void flint_cons_dimension(list)
flint_walk.c
test flint_test(test)
A test is taken as (expression)+(statement)+(statement)
bool check_call_basic(basic, basic, call, int)
bool control_type_in_expression(enum basic_utype, int, expression)
statement flint_current_statement
Warning! Do not modify this file that is automatically generated!
expression flint_expression(expression)
bool find_bd_expression(expression, basic *, list *)
range flint_range(range)
This function verifies that incremented or decremented
bool check_the_call(call)
void flint_cons_expression(list)
These two functions operate on the list of expressions
dimension flint_dimension(dimension)
bool check_call_dim(list, list, call, int)
loose version
bool number_of_elements(list, intptr_t *)
flint_utils.c
bool check_call_types_compatibility(list, list, call)
The structure used to build lists in NewGen.