25 #include "pips_config.h"
59 string localfilename = NULL;
60 string filename = NULL;
94 "/", localfilename, NULL));
99 pips_debug(3,
"checking uninitialized variables\n");
102 debug(3,
"flinter",
"checking commons\n");
105 debug(3,
"flinter",
"checking statements\n");
110 "%s has been flinted : everything is ok.\n",
114 "number of messages from flint for %s : %d\n",
167 "flint message from %s, in module %s, in statement (%d.%d), number %td\n",
195 "flint message from %s, in module %s\n",
static graph dependence_graph
struct _newgen_struct_statement_ * statement
void reset_proper_rw_effects(void)
void set_proper_rw_effects(statement_effects)
const char * module_name(const char *s)
Return the module part of an entity name.
FILE * safe_fopen(const char *filename, const char *what)
int safe_fclose(FILE *stream, const char *filename)
void raw_flint_message(bool count, char *fmt,...)
Same as flint_message but a bare bones version
static FILE * flint_messages_file
internal variables
void flint_message(char *fun, char *fmt,...)
void flint_message_2(char *fun, char *fmt,...)
Same as flint_message but without the function name
static char * flint_current_module_name
name of module being flinted
static int number_of_messages
statement flint_current_statement
cproto-generated files
bool flinter(const string module_name)
Routine of global module verification
bool check_commons(entity)
void flint_uninitialized_variables(graph, statement)
uninitialized_variables.c
statement flint_statement(statement)
struct _newgen_struct_graph_ * graph
void reset_current_module_entity(void)
Reset the current module entity.
void reset_current_module_statement(void)
Reset the current module statement.
statement set_current_module_statement(statement)
Set the current module statement.
entity set_current_module_entity(entity)
static.c
string db_get_memory_resource(const char *rname, const char *oname, bool pure)
Return the pointer to the resource, whatever it is.
#define DB_PUT_FILE_RESOURCE
Put a file resource into the current workspace database.
string db_build_file_resource_name(const char *rname, const char *oname, const char *suffix)
returns an allocated file name for a file resource.
#define pips_debug
these macros use the GNU extensions that allow variadic macros, including with an empty list.
void debug(const int the_expected_debug_level, const char *calling_function_name, const char *a_message_format,...)
ARARGS0.
string concatenate(const char *,...)
Return the concatenation of the given strings.
hash_table set_ordering_to_statement(statement s)
To be used instead of initialize_ordering_to_statement() to make sure that the hash table ots is in s...
void reset_ordering_to_statement(void)
Reset the mapping from ordering to statement.
string db_get_current_workspace_directory(void)
#define ORDERING_NUMBER(o)
#define ORDERING_STATEMENT(o)
entity local_name_to_top_level_entity(const char *n)
This function try to find a top-level entity from a local name.
#define statement_ordering(x)
#define statement_number(x)
#define statement_undefined
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...