PIPS
|
#include "local.h"
Go to the source code of this file.
Functions | |
bool | flinter (const string module_name) |
Routine of global module verification More... | |
void | flint_message (char *fun, char *fmt,...) |
void | flint_message_2 (char *fun, char *fmt,...) |
Same as flint_message but without the function name More... | |
void | raw_flint_message (bool count, char *fmt,...) |
Same as flint_message but a bare bones version More... | |
Variables | |
static FILE * | flint_messages_file = NULL |
internal variables More... | |
static bool | no_message = true |
static int | number_of_messages = 0 |
statement | flint_current_statement = statement_undefined |
cproto-generated files More... | |
static char * | flint_current_module_name |
name of module being flinted More... | |
void flint_message | ( | char * | fun, |
char * | fmt, | ||
... | |||
) |
print out remainder of message
fun | un |
fmt | mt |
Definition at line 147 of file flint.c.
References flint_current_module_name, flint_current_statement, flint_messages_file, fprintf(), no_message, number_of_messages, ORDERING_NUMBER, ORDERING_STATEMENT, statement_number, and statement_ordering.
Referenced by check_call_args_number(), check_call_basic(), check_call_dim(), check_call_one_mode(), check_one_common(), check_procedure(), check_the_reference(), control_type_in_expression(), find_bd_call(), find_bd_expression(), and find_bd_type_variable().
void flint_message_2 | ( | char * | fun, |
char * | fmt, | ||
... | |||
) |
Same as flint_message but without the function name
print out remainder of message
fun | un |
fmt | mt |
Definition at line 183 of file flint.c.
References flint_current_module_name, flint_messages_file, fprintf(), no_message, and number_of_messages.
Referenced by check_overlap_in_common().
Routine of global module verification
user_error() is not used in flint, no need for an exception handler
Getting parsed code of module
the last parameter should be pure=true; the code should not be modified!
Resource to trace uninitialized variables:
what is done
checking commons
checking syntax
final message
Should have worked:
module_name | odule_name |
Definition at line 54 of file flint.c.
References check_commons(), concatenate(), db_build_file_resource_name(), db_get_current_workspace_directory(), db_get_memory_resource(), DB_PUT_FILE_RESOURCE, debug(), debug_off, debug_on, dependence_graph, flint_current_module_name, flint_current_statement, flint_messages_file, flint_statement(), flint_uninitialized_variables(), fprintf(), free(), local_name_to_top_level_entity(), module, module_name(), no_message, number_of_messages, pips_debug, reset_current_module_entity(), reset_current_module_statement(), reset_ordering_to_statement(), reset_proper_rw_effects(), safe_fclose(), safe_fopen(), set_current_module_entity(), set_current_module_statement(), set_ordering_to_statement(), set_proper_rw_effects(), statement_undefined, and strdup().
void raw_flint_message | ( | bool | count, |
char * | fmt, | ||
... | |||
) |
Same as flint_message but a bare bones version
count is used to decide if we count tjis message or not.
count | ount |
fmt | mt |
Definition at line 211 of file flint.c.
References count, flint_messages_file, no_message, and number_of_messages.
Referenced by flint_check_uninitialized_variables_in_statement(), and flint_uninitialized_variables().
|
static |
name of module being flinted
Definition at line 49 of file flint.c.
Referenced by flint_message(), flint_message_2(), and flinter().
statement flint_current_statement = statement_undefined |
cproto-generated files
Warning! Do not modify this file that is automatically generated!
Definition at line 46 of file flint.c.
Referenced by flint_message(), flint_statement(), and flinter().
|
static |
internal variables
Definition at line 43 of file flint.c.
Referenced by flint_message(), flint_message_2(), flinter(), and raw_flint_message().
Definition at line 44 of file flint.c.
Referenced by flint_message(), flint_message_2(), flinter(), and raw_flint_message().
|
static |
Definition at line 45 of file flint.c.
Referenced by flint_message(), flint_message_2(), flinter(), and raw_flint_message().