util.c File Reference

#include "genC.h"
#include "misc.h"
#include "naming.h"
#include "pipsdbm.h"

Include dependency graph for util.c:

Go to the source code of this file.

Functions
bool	some_main_entity_p (void)
	returns whether there is a main in the database More...
string	get_main_entity_name (void)
	Return the local name of the main module if it is available, or the local name of any module by default. More...

Function Documentation

get_main_entity_name()

string get_main_entity_name

(

void

)

Return the local name of the main module if it is available, or the local name of any module by default.

Hopefully, the module names are sorted and the same module of rank 0 is always returned.

A new string is allocated.

Up to a memory leak: entity get_main_entity(void) == module_name_to_entity(get_main_entity_name())

??? some default if there is no main...

This has an impact on interprocedural analysis and especially semantics and works well if only one function is analyzed.

Definition at line 63 of file util.c.

{
  string mn = string_undefined;
  char buffer[MAXIMAL_MODULE_NAME_SIZE]; // defined in naming.h
  char * main_list = strdup(concatenate(db_get_current_workspace_directory(),
                                        "/", MAIN_FILE_NAMES, NULL));
  FILE * fm = fopen(main_list, "r");
  buffer[0] = 0;
  if (fm!=NULL) {
    // FI: we assume here that we have only one main function
    safe_fgets(buffer, MAXIMAL_MODULE_NAME_SIZE, fm, main_list);
    fclose(fm);
    // Drop the final LF
    mn = strndup(buffer, strlen(buffer)-1);
  }
  else {
    // FI: a module list is an array ?
    gen_array_t modules = db_get_module_list();
    int nmodules = gen_array_nitems(modules);
 
    pips_assert("some modules in the program", nmodules>0);
    /* ??? some default if there is no main...
     *
     * This has an impact on interprocedural analysis and especially
     * semantics and works well if only one function is analyzed.
     */
    pips_user_warning("No main function found, use \"%s\" instead.\n",
                      gen_array_item(modules,0));
    mn = strdup(gen_array_item(modules, 0));
 
    gen_array_full_free(modules);
  }
  return mn;
}

References buffer, concatenate(), db_get_current_workspace_directory(), db_get_module_list(), gen_array_full_free(), gen_array_item(), gen_array_nitems(), MAIN_FILE_NAMES, MAXIMAL_MODULE_NAME_SIZE, pips_assert, pips_user_warning, safe_fgets(), strdup(), string_undefined, and strndup().

Referenced by generic_program_pointer_values(), print_program_precondition(), program_points_to(), program_postcondition(), and program_precondition().

Here is the call graph for this function:

Here is the caller graph for this function:

some_main_entity_p()

bool some_main_entity_p

(

void

)

returns whether there is a main in the database

util.c

Definition at line 37 of file util.c.

{
  bool some_main_p = false;
  char * main_list = strdup(concatenate(db_get_current_workspace_directory(),
                                        "/", MAIN_FILE_NAMES, NULL));
  FILE * fm = fopen(main_list, "r");
  if(fm!=NULL) {
    some_main_p = true;
    fclose(fm);
  }
  free(main_list);
  return some_main_p;
}

References concatenate(), db_get_current_workspace_directory(), free(), MAIN_FILE_NAMES, and strdup().

Referenced by ordinary_summary_precondition(), and summary_total_postcondition().

Here is the call graph for this function:

Here is the caller graph for this function: