divar.c File Reference

Go to the source code of this file.

Functions
statement_mapping	contexts_mapping_of_nest (statement stat, statement_mapping ce_map)

Function Documentation

contexts_mapping_of_nest()

statement_mapping contexts_mapping_of_nest	(	statement	stat,
		statement_mapping	ce_map
	)

Definition at line 27 of file divar.c.

{
    pips_assert(contexts_mapping_of_nest, statement_loop_p(stat));
 
    ifdebug(5)  {
        STATEMENT_MAPPING_MAP(st, context, {
            statement stp = (statement) st;
 
            if (statement_call_p(stp)) {
                fprintf(stderr, "Execution context of statement %d :\n", 
                        statement_number(stp));
                sc_fprint(stderr, (Psysteme) context, entity_local_name);
            }
        }, contexts_map);
    }
 
    return(contexts_map);
}

References entity_local_name(), fprintf(), ifdebug, pips_assert, sc_fprint(), statement_call_p(), statement_loop_p(), STATEMENT_MAPPING_MAP, and statement_number.

Here is the call graph for this function: