diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2010-05-13 12:40:51 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2010-05-13 12:40:51 +0200 |
| commit | 823e947359cceb6e29daa616be10bee3528a2296 (patch) | |
| tree | 7efb42d94c06d876f5c682de4761b8455b9223cd /gcc/var-tracking.c | |
| parent | d20cfbc2af61a7ac017181d741568c2b46c5e862 (diff) | |
| download | gcc-823e947359cceb6e29daa616be10bee3528a2296.tar.gz | |
re PR debug/43983 (var-tracking needlessly throws away location info for SRAed vars)
PR debug/43983
* var-tracking.c (track_expr_p): Allow tracking of variables optimized
by SRA.
* Makefile.in (dwarf2out.o): Depend on $(TREE_FLOW_H).
* tree-sra.c (create_access_replacement): Call unshare_expr before
passing expr to SET_DECL_DEBUG_EXPR, and remove any SSA_NAMEs from
it.
* dwarf2out.c: Include tree-flow.h.
(struct var_loc_node): Rename var_loc_note field to loc, add comment.
(size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
Handle DW_OP_bit_piece.
(decl_piece_bitsize, decl_piece_varloc_ptr, decl_piece_node,
construct_piece_list, adjust_piece_list): New functions.
(add_var_loc_to_decl): Handle SRA optimized variables.
Adjust for var_loc_note to loc field renaming.
(dw_loc_list_1): For WANT_ADDRESS == 2 prefer DECL_MODE of decl
in VAR_LOCATION note.
(new_loc_descr_op_bit_piece): New function.
(dw_sra_loc_expr): New function.
(dw_loc_list): Use it. Don't handle the last range after the
loop, handle it inside of the loop. Adjust for var_loc_note
to loc field renaming.
(add_location_or_const_value_attribute): Only special case
single entry loc lists if loc is NOTE_P. Adjust for
var_loc_note to loc field renaming.
(dwarf2out_var_location): Don't set newloc->var_loc_note
and newloc->next here.
* gcc.dg/guality/sra-1.c: New test.
From-SVN: r159357
Diffstat (limited to 'gcc/var-tracking.c')
| -rw-r--r-- | gcc/var-tracking.c | 23 |
1 files changed, 20 insertions, 3 deletions
diff --git a/gcc/var-tracking.c b/gcc/var-tracking.c index 040a3e7a50c..c980da6d05a 100644 --- a/gcc/var-tracking.c +++ b/gcc/var-tracking.c @@ -4505,10 +4505,27 @@ track_expr_p (tree expr, bool need_rtl) realdecl = DECL_DEBUG_EXPR (realdecl); if (realdecl == NULL_TREE) realdecl = expr; - /* ??? We don't yet know how to emit DW_OP_piece for variable - that has been SRA'ed. */ else if (!DECL_P (realdecl)) - return 0; + { + if (handled_component_p (realdecl)) + { + HOST_WIDE_INT bitsize, bitpos, maxsize; + tree innerdecl + = get_ref_base_and_extent (realdecl, &bitpos, &bitsize, + &maxsize); + if (!DECL_P (innerdecl) + || DECL_IGNORED_P (innerdecl) + || TREE_STATIC (innerdecl) + || bitsize <= 0 + || bitpos + bitsize > 256 + || bitsize != maxsize) + return 0; + else + realdecl = expr; + } + else + return 0; + } } /* Do not track EXPR if REALDECL it should be ignored for debugging |