points_to.c File Reference

#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"

Include dependency graph for points_to.c:

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)

Function Documentation

backward_translation_of_points_to_formal_context_effect()

static list backward_translation_of_points_to_formal_context_effect ( _UNUSED_ entity  callee, _UNUSED_ list  real_args, _UNUSED_ effect eff _UNUSED_ set  binding  )

static

Definition at line 331 of file points_to.c.

{
  pips_internal_error("points-to library not available");
  return NIL;
}

References NIL, and pips_internal_error.

cells_to_read_effects()

list cells_to_read_effects

(

list

cl

)

Parameters

cl

l

Definition at line 467 of file points_to.c.

{
  return cells_to_read_or_write_effects(cl, false);
}

References cells_to_read_or_write_effects().

Here is the call graph for this function:

cells_to_read_or_write_effects()

list cells_to_read_or_write_effects	(	list	cl,
		bool	write_p
	)

Parameters

cl	l
write_p	rite_p

Definition at line 377 of file points_to.c.

{
  // (*reference_to_effect_func)
  list wel = NIL;
  size_t n = gen_length(cl);
  size_t u = 0; // number of useless cells
  FOREACH(CELL, c, cl) {
    effect e = effect_undefined;
    if(nowhere_cell_p(c)) {
      if(n==1 || n==1+u) {
        // Would it be better to move on with a simple warning?
        pips_user_error("Dereferencing of an undefined pointer.\n");
      }
      else {
        ; // ignore
      }
      u++;
    }
    else if(null_cell_p(c)) {
      if(n==1 || n==1+u)
        pips_user_error("Dereferencing of a null pointer.\n");
      else {
        ; // ignore
      }
      u++;
    }
    else {
      action a = write_p? make_action_write_memory() : make_action_read_memory();
      //descriptor d = make_descriptor_none();
      if(cell_abstract_location_p(c)) {
        // This may always capture heap locations, although they may
        // sometimes be concrete
        // approximation ap = make_approximation_may();
        reference r = cell_any_reference(c);
        e = (*reference_to_effect_func)(r, a, false); // , ap, d);
      }
      else {
        reference r = cell_any_reference(c);
        e = (*reference_to_effect_func)(r, a, false); // , ap, d);
        if(n==1 || n==1+u) {
        //  approximation ap = make_approximation_exact();
          //  e = make_effect(c, a, ap, d);
          ;
        }
        else {
          // FI: it could be exact with n>1 if alternatives are null
          // and undefined
          //approximation ap = make_approximation_may();
          // e = make_effect(c, a, ap, d);
          ;
        }
      }
      // Adjust type, which implies a may approximation
      type t = points_to_cell_to_concrete_type(c);
      int msn = type_depth(t);
      if(msn>0) {
        reference r = cell_any_reference(c);
        reference_indices(r) = gen_nconc(reference_indices(r), 
                                         make_unbounded_subscripts(msn));
        if(approximation_exact_p(effect_approximation(e))) {
          free_approximation(effect_approximation(e));
          effect_approximation(e) = make_approximation_may();
        }
        entity re = reference_variable(r);
        if(entity_typed_anywhere_locations_p(re)) {
          // FI: we hope that heap entities are not included here
          pips_assert("Not a heap abstraction", !entity_heap_location_p(re));
          type nt = points_to_reference_to_concrete_type(r);
          entity nre = entity_typed_anywhere_locations(nt);
          reference_variable(r) = nre;
          gen_full_free_list(reference_indices(r));
          reference_indices(r) = NIL;
        }
      }
    }
    if(!effect_undefined_p(e))
      wel = gen_nconc(wel, CONS(EFFECT, e, wel));
  }
 
  effects_to_proper_approximation(wel);
  add_precondition_information_to_effects(wel);
 
  return wel;
}

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

Here is the call graph for this function:

Here is the caller graph for this function:

cells_to_write_effects()

list cells_to_write_effects

(

list

cl

)

Parameters

cl

l

Definition at line 462 of file points_to.c.

{
  return cells_to_read_or_write_effects(cl, true);
}

References cells_to_read_or_write_effects().

Here is the call graph for this function:

effects_lhs_expression_to_sinks()

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.

{
  /* We expect here a test about points-to availability and a work
   * around if the points-to library is not linked.
   */
  return effects_expression_to_points_to_sinks(e);
}

References effects_expression_to_points_to_sinks().

Here is the call graph for this function:

effects_lhs_expression_to_sources()

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.

{
  /* We expect here a test about points-to availability and a work
   * around if the points-to library is not linked.
   */
  return effects_expression_to_points_to_sources(e);
}

References effects_expression_to_points_to_sources().

Here is the call graph for this function:

safe_user_call_to_points_to_interprocedural_binding_set()

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.

{
  set binding = set_undefined;
  return binding;
}

References set_undefined.