#include "local.h"

Include dependency graph for flint.c:

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...

Function Documentation

◆ flint_message()

void flint_message	(	char *	fun,
		char *	fmt,
			...
	)

print out remainder of message

Parameters

fun	un
fmt	mt

Definition at line 147 of file flint.c.

 {
     va_list         args;
     int             order;
  
     va_start(args, fmt);
  
     /*
      * print name of function causing message, and in which module it
      * occured.
      */
  
     no_message = false;
     number_of_messages++;
  
     order = statement_ordering(flint_current_statement);
  
     (void) fprintf(flint_messages_file,
                    "flint message from %s, in module %s, in statement (%d.%d), number %td\n",
                    fun, flint_current_module_name,
                    ORDERING_NUMBER(order), ORDERING_STATEMENT(order),
                    statement_number(flint_current_statement));
  
  
     /* print out remainder of message */
     (void) vfprintf(flint_messages_file, fmt, args);
  
     va_end(args);
  
 }

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ flint_message_2()

void flint_message_2	(	char *	fun,
		char *	fmt,
			...
	)

Same as flint_message but without the function name

print out remainder of message

Parameters

fun	un
fmt	mt

Definition at line 183 of file flint.c.

 {
     va_list         args;
  
     va_start(args, fmt);
  
     no_message = false;
     number_of_messages++;
  
     (void) fprintf(flint_messages_file,
                    "flint message from %s, in module %s\n",
                    fun, flint_current_module_name);
  
     /* print out remainder of message */
     (void) vfprintf(flint_messages_file, fmt, args);
  
     va_end(args);
  
 }

References flint_current_module_name, flint_messages_file, fprintf(), no_message, and number_of_messages.

Referenced by check_overlap_in_common().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ flinter()

bool flinter ( const string module_name )

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:

Parameters

module_name odule_name

Definition at line 54 of file flint.c.

 {
     graph dependence_graph;
     entity module = local_name_to_top_level_entity(module_name);
     statement module_stat;
     string localfilename = NULL;
     string filename = NULL;
     
     /* user_error() is not used in flint, no need for an exception handler */
  
     debug_on("FLINT_DEBUG_LEVEL");
  
     flint_current_module_name = module_name;
     flint_current_statement = statement_undefined;
     number_of_messages = 0;
     no_message = true;
  
     debug(1, "flinter", "flinting module %s\n", module_name);
     
     /* Getting parsed code of module */
     /* the last parameter should be pure=true; the code should not be modified! */
     module_stat = (statement)
         db_get_memory_resource(DBR_CODE, module_name, true);
  
     /* Resource to trace uninitialized variables: */
     dependence_graph =
         (graph) db_get_memory_resource(DBR_CHAINS, module_name, true);
     set_ordering_to_statement(module_stat);
  
     set_proper_rw_effects((statement_effects)
                           db_get_memory_resource(DBR_PROPER_EFFECTS,
                                                  module_name,
                                                  true)); 
     set_current_module_statement(module_stat);
     set_current_module_entity(local_name_to_top_level_entity(module_name));
  
     localfilename = db_build_file_resource_name(DBR_FLINTED_FILE,
                                                 module_name,
                                                 ".flinted");
     filename = strdup(concatenate(db_get_current_workspace_directory(), 
                                   "/", localfilename, NULL));
     flint_messages_file = 
         (FILE *) safe_fopen(filename, "w");
  
     /* what is  done */
     pips_debug(3, "checking uninitialized variables\n");
     flint_uninitialized_variables(dependence_graph, module_stat);
  
     debug(3, "flinter", "checking commons\n");
     check_commons(module);               /* checking commons */
  
     debug(3, "flinter", "checking statements\n");
     flint_statement(module_stat);        /* checking syntax  */
  
     if (no_message)                      /* final message */
       fprintf(flint_messages_file,
               "%s has been flinted : everything is ok.\n",
               module_name);
     else
       fprintf(flint_messages_file,
               "number of messages from flint for %s : %d\n",
               module_name,
               number_of_messages);
     
     safe_fclose(flint_messages_file, filename);
     DB_PUT_FILE_RESOURCE(DBR_FLINTED_FILE, strdup(module_name),
                          localfilename);
     free(filename);
  
     flint_current_module_name = NULL;
     flint_current_statement = statement_undefined;
     number_of_messages = 0;
     no_message = true;
  
     reset_proper_rw_effects();
     reset_current_module_statement();
     reset_current_module_entity();
         reset_ordering_to_statement();
  
     debug_off();
  
     /* Should have worked: */
     return true;
 }

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

Here is the call graph for this function:

◆ raw_flint_message()

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.

Parameters

count	ount
fmt	mt

Definition at line 211 of file flint.c.

 {
     va_list         args;
  
     va_start(args, fmt);
  
     no_message = false;
     if (count)
         number_of_messages++;
  
     (void) vfprintf(flint_messages_file, fmt, args);
  
     va_end(args);
 }