r135206 - in /branches/var-tracking-assignments...

[aoliva@gcc.gnu.org]

Author: aoliva
Date: Mon May 12 07:54:52 2008
New Revision: 135206

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135206
Log:
* var-tracking.c (dv_is_decl_p, dv_is_value_p): NULL is neither.
(dv_as_decl): Assert dv_is_decl_p.
(dv_from_value): Assert value.
(dv_htab_hash): Assert ptr.
(variable_htab_eq): Compare opaque pointers.
(remove_unavailable_values): Deal with zero var parts.  Do not
remove last ref to a variable.
(dataflow_set_remove_mem_locs): New.
(dataflow_set_clear_at_call): New, factored out from...
(compute_bb_dataflow, emit_notes_bb): ... here.  Clear info on
modified REGs.
(VAL_EXPR_IS_COPIED): Use different bit.
(compute_bb_dataflow): Remove unavailable vars here...
(vt_find_locations): ... not here.  Don't disregard self-edges.
(set_variable_part): Accept zero var parts.
(clobber_variable_part): Adjust to deal with NULL.
(vt_expand_loc_callback): Accept zero var parts.
(check_changed_var): Deal with zero var parts.

Modified:
    branches/var-tracking-assignments-branch/gcc/ChangeLog.vta
    branches/var-tracking-assignments-branch/gcc/var-tracking.c