PIPS
|
#include <stdio.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "misc.h"
#include "ri.h"
#include "effects.h"
#include "ri-util.h"
#include "effects-util.h"
#include "resources.h"
#include "pipsdbm.h"
#include "transformer.h"
#include "semantics.h"
#include "effects-generic.h"
#include "effects-convex.h"
#include "pips-libs.h"
Go to the source code of this file.
Functions | |
set | safe_user_call_to_points_to_interprocedural_binding_set (entity callee __attribue__((unused)), list real_args __attribue__((unused))) |
Interface with points-to library. More... | |
static list | backward_translation_of_points_to_formal_context_effect (_UNUSED_ entity callee, _UNUSED_ list real_args, _UNUSED_ effect eff _UNUSED_ set binding) |
list | effects_lhs_expression_to_sources (expression e) |
Returns a list of cells corresponding to the possibles values, i.e. More... | |
list | effects_lhs_expression_to_sinks (expression e) |
Returns a list of cells corresponding to the value,i.e. More... | |
list | cells_to_read_or_write_effects (list cl, bool write_p) |
list | cells_to_write_effects (list cl) |
list | cells_to_read_effects (list cl) |
|
static |
cl | l |
Definition at line 467 of file points_to.c.
References cells_to_read_or_write_effects().
cl | l |
write_p | rite_p |
Definition at line 377 of file points_to.c.
References add_precondition_information_to_effects(), approximation_exact_p, CELL, cell_abstract_location_p(), cell_any_reference(), CONS, EFFECT, effect_approximation, effect_undefined, effect_undefined_p, effects_to_proper_approximation(), entity_heap_location_p(), entity_typed_anywhere_locations(), entity_typed_anywhere_locations_p(), FOREACH, free_approximation(), gen_full_free_list(), gen_length(), gen_nconc(), make_action_read_memory(), make_action_write_memory(), make_approximation_may(), make_unbounded_subscripts(), NIL, nowhere_cell_p(), null_cell_p(), pips_assert, pips_user_error, points_to_cell_to_concrete_type(), points_to_reference_to_concrete_type(), reference_indices, reference_variable, and type_depth().
Referenced by cells_to_read_effects(), and cells_to_write_effects().
cl | l |
Definition at line 462 of file points_to.c.
References cells_to_read_or_write_effects().
list effects_lhs_expression_to_sinks | ( | expression | e | ) |
Returns a list of cells corresponding to the value,i.e.
abstract or concrete locations, denoted by lhs expression e.
If "p" is a pointer, expression "p" has "p" as a source, and the sources of "*p" as sinks.
This should work whether the points-to library is available or not, but it is not yet the case
The prefix effects_ is used to have a local copy in the effects-generic library.
We expect here a test about points-to availability and a work around if the points-to library is not linked.
Definition at line 369 of file points_to.c.
References effects_expression_to_points_to_sinks().
list effects_lhs_expression_to_sources | ( | expression | e | ) |
Returns a list of cells corresponding to the possibles values, i.e.
abstract or concrete locations, denoted by lhs expression e.
This should work whether the points-to library is available or not, but it is not yet the case.
The prefix effects_ is used to have a local copy in the effects-generic library.
We expect here a test about points-to availability and a work around if the points-to library is not linked.
Definition at line 349 of file points_to.c.
References effects_expression_to_points_to_sources().
set safe_user_call_to_points_to_interprocedural_binding_set | ( | entity callee | __attribue__(unused), |
list real_args | __attribue__(unused) | ||
) |
Interface with points-to library.
Definition at line 324 of file points_to.c.
References set_undefined.