[PATCH, Pointer Bounds Checker 14/x] Passes [4/n] Memory accesses instrumentation

[Ilya Enkovich]

Hi,

This is the main chunk of instrumentation codes. This patch introduces instrumentation pass which instruments memory accesses.

Thanks,
Ilya
--
2014-10-08 Ilya Enkovich <***@intel.com>

* tree-chkp.c (chkp_may_complete_phi_bounds): New.
(chkp_may_finish_incomplete_bounds): New.
(chkp_recompute_phi_bounds): New.
(chkp_find_valid_phi_bounds): New.
(chkp_finish_incomplete_bounds): New.
(chkp_maybe_copy_and_register_bounds): New.
(chkp_build_returned_bound): New.
(chkp_get_bound_for_parm): New.
(chkp_compute_bounds_for_assignment): New.
(chkp_get_bounds_by_definition): New.
(chkp_get_bounds_for_decl_addr): New.
(chkp_get_bounds_for_string_cst): New.
(chkp_parse_array_and_component_ref): New.
(chkp_make_addressed_object_bounds): New.
(chkp_find_bounds_1): New.
(chkp_find_bounds): New.
(chkp_find_bounds_loaded): New.
(chkp_copy_bounds_for_elem): New.
(chkp_process_stmt): New.
(chkp_fix_cfg): New.
(chkp_instrument_function): New.
(chkp_fini): New.
(chkp_execute): New.
(chkp_gate): New.
(pass_data_chkp): New.
(pass_chkp): New.
(make_pass_chkp): New.