Hi Alexandre,

> 	* dwarf2out.c (add_high_low_attributes): Emit DW_AT_entry_pc
> 	along with DW_AT_range.

Mainline has changed since you wrote this patch, it now says:

>       if (is_inlined_entry_point (stmt))
>         {
>           ASM_GENERATE_INTERNAL_LABEL (label, BLOCK_BEGIN_LABEL,
>                                        BLOCK_NUMBER (stmt));
>           add_AT_lbl_id (die, DW_AT_entry_pc, label);
>         }

I think mainline is as good as you're likely to get, because there's  
no reason the entry point for a block should be at the start.