[PING 3] Enhance array types debug info. for Ada

2014-11-26 Thread Pierre-Marie de Rodat
Hello, Ping for https://gcc.gnu.org/ml/gcc-patches/2014-10/msg00694.html Thanks in advance! Regards, -- Pierre-Marie de Rodat

[PING 2] Enhance array types debug info. for Ada

2014-10-03 Thread Pierre-Marie de Rodat
On 09/17/2014 04:38 PM, Pierre-Marie de Rodat wrote: Ping for https://gcc.gnu.org/ml/gcc-patches/2014-09/msg00206.html Adding a few maintainers in copy... Thanks in advance! Should I enhance something in this patch set in order to make the review easier? Thanks! -- Pierre-Marie de Rodat

Re: [PATCH] Enhance array types debug info. for Ada

2014-10-07 Thread Pierre-Marie de Rodat
-)reference. I have attached to this mail the 3 patches that are updated thanks to your (Jakub and Jason's) comments and run successfuly the GCC testsuite on x86_64-pc-linux-gnu. Thanks again for revewing! -- Pierre-Marie de Rodat From 5ae605a24f0df5a8963fa84d0c07c278542977f1 Mon Sep 17 00:00

Re: [PING] Enhance array types debug info. for Ada

2014-10-07 Thread Pierre-Marie de Rodat
for your review! :-) -- Pierre-Marie de Rodat

Re: [PATCH] Enhance array types debug info. for Ada

2014-10-08 Thread Pierre-Marie de Rodat
argument to re-introduce the base_decl mechanism. DEBUG_EXPR_DECL is back in the Fortran front-end. ;-) Now, the same example keeps the same debugging information. The latest patches bootstrapped well and passed successfully the GCC testsuite on x86_64-pc-linux-gnu. -- Pierre-Marie de Rodat

[PATCH] Spurious .s with -fdump-ada-spec

2014-06-04 Thread Pierre-Marie de Rodat
comments! 2014-06-02 Eric Botcazou botca...@adacore.com Pierre-Marie de Rodat dero...@adacore.com gcc/ * gcc.dg/dump-ada-spec/dump-ada-spec.exp: New. * gcc.dg/dump-ada-spec-1.c: Move to dump-ada-spec. * gcc.dg/dump-ada-spec/dump-ada-spec-2.h: New. * g

[PING] Enhance array types debug info. for Ada

2014-10-22 Thread Pierre-Marie de Rodat
Hello, On 10/08/2014 09:05 PM, Pierre-Marie de Rodat wrote: The latest patches bootstrapped well and passed successfully the GCC testsuite on x86_64-pc-linux-gnu. Ping for https://gcc.gnu.org/ml/gcc-patches/2014-10/msg00694.html Thanks in advance for you feedback! -- Pierre-Marie de Rodat

[PING 2] Enhance array types debug info. for Ada

2014-11-05 Thread Pierre-Marie de Rodat
Hello, Ping for https://gcc.gnu.org/ml/gcc-patches/2014-10/msg00694.html Thanks in advance! Regards, -- Pierre-Marie de Rodat

[PATCH] Enhance array types debug info. for Ada

2014-09-03 Thread Pierre-Marie de Rodat
until this point and thank you in advance for your review! ;-) -- Pierre-Marie de Rodat From 15f8a12782cfcb084205c751d8c37c7a360bea2f Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date: Wed, 3 Sep 2014 09:46:17 +0200 Subject: [PATCH 1/5] Complete information generated

[wwwdocs] Update sources trees handling in simtest-howto.html

2014-09-08 Thread Pierre-Marie de Rodat
. -print | cpio -pdlmu ../combined amp;amp; cd .. -- Pierre-Marie de Rodat

Re: [wwwdocs] Update sources trees handling in simtest-howto.html

2014-09-08 Thread Pierre-Marie de Rodat
On 09/08/2014 05:04 PM, Pierre-Marie de Rodat wrote: It updates statements and shell commands to get/update/combine Binutils sources, which are now managed under a Git repository. Here is an update: Tristan pointed out on the other thread that the code for the simulators (formerly in src/sim

[PING] Enhance array types debug info. for Ada

2014-09-17 Thread Pierre-Marie de Rodat
Ping for https://gcc.gnu.org/ml/gcc-patches/2014-09/msg00206.html Adding a few maintainers in copy... Thanks in advance! -- Pierre-Marie de Rodat

Re: [PATCH] Enhance array types debug info. for Ada

2014-12-01 Thread Pierre-Marie de Rodat
. This is a clear win for negative ones. I attached the only updated patch. The new patch set bootstrapped well and was successfully regtested on x86_64-linux. Thank you, -- Pierre-Marie de Rodat From 4a8fe9204873864fd7ac898622d09a1d60bcea6b Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero

Re: [PATCH] Enhance array types debug info. for Ada

2014-12-01 Thread Pierre-Marie de Rodat
in add_scalar_info in order to force unsignedness when generating debugging information for Fortran? -- Pierre-Marie de Rodat

[PING] Enhance array types debug info. for Ada

2014-12-15 Thread Pierre-Marie de Rodat
Ping for https://gcc.gnu.org/ml/gcc-patches/2014-12/msg00058.html. On 12/01/2014 05:40 PM, Pierre-Marie de Rodat wrote: While I agree this might trigger compatibility issues with old debuggers, I don't know what to do assuming this change is not acceptable: should we add a kludge

Re: [PING] Enhance array types debug info. for Ada

2014-12-17 Thread Pierre-Marie de Rodat
On 12/15/2014 05:24 PM, Jakub Jelinek wrote: Ok for trunk then. All the 5 commits are submitted. Thank you very much for your review! :-) -- Pierre-Marie de Rodat

[PATCH] Add extensions to dwarf2.def

2015-06-09 Thread Pierre-Marie de Rodat
in advance! include/ * dwarf2.def (DW_TAG_GNU_rational_constant): New tag. (DW_AT_GNU_numerator, DW_AT_GNU_denominator): New attributes. include/ * dwarf2.def (DW_AT_GNU_bias): New attribute. -- Pierre-Marie de Rodat == Introduction == Ada makes it possible to define fixed

Re: [PATCH][PR debug/65549] Restore DW_AT_abstract_origin for cross-unit call sites

2015-06-10 Thread Pierre-Marie de Rodat
a register_main_translation_unit debug hook: is this what you had in mind? This works for me on the 4.9 branch and on mainline as well, regtested on x86_64-linux. -- Pierre-Marie de Rodat From 285ea98dfdf3d45f32fc0141aa182f07d172612d Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero

Re: [PATCH][PR debug/65549] Restore DW_AT_abstract_origin for cross-unit call sites

2015-06-10 Thread Pierre-Marie de Rodat
will soon become unavailable until July, so I think I'll wait until then to commit anyway. -- Pierre-Marie de Rodat

[PATCH][PR debug/65549] Restore DW_AT_abstract_origin for cross-unit call sites

2015-06-09 Thread Pierre-Marie de Rodat
in advance! gcc/ChangeLog * dwarf2out.c (lookup_context_die): Return the DIE for the current compilation unit when the input context is a TRANSLATION_UNIT_DECL. -- Pierre-Marie de Rodat extern int bar(int a); int foo(int a) { a += 1; return a; } int main(void) { bar

Re: [PATCH][PR debug/65549] Restore DW_AT_abstract_origin for cross-unit call sites

2015-06-11 Thread Pierre-Marie de Rodat
, leaving the GCC 5 branch with the original fix. That sounds perfect: thank you Richard! I am about to commit the original fix on mainline: should I still open a bugreport before commiting it to the GCC 5 branch? -- Pierre-Marie de Rodat

Re: [PATCH][PR debug/65549] Restore DW_AT_abstract_origin for cross-unit call sites

2015-06-11 Thread Pierre-Marie de Rodat
. Original fix pushed on both trunk and the GCC 5 branch. Thank you very much for your help! Should I close the PR, now? -- Pierre-Marie de Rodat

Re: [PATCH][PR debug/65549] Restore DW_AT_abstract_origin for cross-unit call sites

2015-06-12 Thread Pierre-Marie de Rodat
! -- Pierre-Marie de Rodat

Re: [PATCH][PR debug/65549] Restore DW_AT_abstract_origin for cross-unit call sites

2015-06-12 Thread Pierre-Marie de Rodat
to the GCC 5 branch as well. May I? -- Pierre-Marie de Rodat

Re: [PATCH][PR debug/65549] Restore DW_AT_abstract_origin for cross-unit call sites

2015-06-12 Thread Pierre-Marie de Rodat
On 06/12/2015 01:11 PM, Richard Biener wrote: By the way, I think we should apply this fix to the GCC 5 branch as well. May I? Yes Done. Thanks again! -- Pierre-Marie de Rodat

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Pierre-Marie de Rodat
On 08/18/2015 11:36 AM, Manuel López-Ibáñez wrote: On 18/08/15 10:32, Pedro Alves wrote: On 08/14/2015 10:49 AM, Pierre-Marie de Rodat wrote: I also tried to create the new pages on the wiki but it says You are not allowed to edit this page. (https://gcc.gnu.org/wiki

Re: [PATCH 4/8] DWARF: add a language hook for fixed-point types

2015-08-18 Thread Pierre-Marie de Rodat
On 07/16/2015 10:43 AM, Pierre-Marie de Rodat wrote: Support for fixed-point types in GCC is not powerful enough for Ada fixed-point types: GNAT uses regular scalar types to implement them. This new language hook makes it possible to output the desired debugging information anyway. Here's

Re: [PATCH 7/8] DWARF: add a language hook for scalar biased types

2015-08-18 Thread Pierre-Marie de Rodat
On 07/16/2015 10:48 AM, Pierre-Marie de Rodat wrote: Front-ends like GNAT for Ada sometimes use biased encodings for integral types. This change creates a new language hook so that the bias information can make it into the debugging information back-end and introduces an experimental DWARF

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Pierre-Marie de Rodat
. ;-) Thank you! I will just do it next time. -- Pierre-Marie de Rodat

Re: [PATCH] Add extensions to dwarf2.def

2015-08-18 Thread Pierre-Marie de Rodat
this text in GCC's: may I do this? -- Pierre-Marie de Rodat

[PATCH, PING*2] Track indirect calls for call site information in debug info.

2015-08-03 Thread Pierre-Marie de Rodat
On 07/20/2015 02:45 PM, Pierre-Marie de Rodat wrote: On PowerPC targets with -mlongcall, most subprogram calls are turned into indirect calls: the call target is read from a register even though it is compile-time known. This makes it difficult for machine code static analysis engines to recover

[PATCH, PING*2] PR debug/53927: fix value for DW_AT_static_link

2015-08-03 Thread Pierre-Marie de Rodat
On 07/20/2015 09:39 AM, Pierre-Marie de Rodat wrote: This patch fixes the static link description in DWARF to comply with the specification. In order to do so, it appends a field to all FRAME objects to hold the frame base address (DW_AT_frame_base) so that the nested subrograms can directly

[PATCH, PING] DWARF: materialize subprogram renamings in Ada as imported declarations

2015-08-03 Thread Pierre-Marie de Rodat
On 07/25/2015 09:44 PM, Pierre-Marie de Rodat wrote: This change makes GCC materialize subprogram renamings in Ada as imported declarations (DW_TAG_imported_declarations). For instance, procedure Foo renames Bar; will output: DW_TAG_imported_declaration: DW_AT_name: foo

Re: [PATCHES, PING*2] Enhance standard DWARF for Ada

2015-07-31 Thread Pierre-Marie de Rodat
On 07/31/2015 12:54 PM, Pierre-Marie de Rodat wrote: On 07/16/2015 10:34 AM, Pierre-Marie de Rodat wrote: This patch series aims at enhancing GCC to emit standard DWARF in place of the current GNAT encodings (non-standard DWARF) for a set of basic types: dynamic arrays, variable-length records

[PATCHES, PING*2] Enhance standard DWARF for Ada

2015-07-31 Thread Pierre-Marie de Rodat
On 07/16/2015 10:34 AM, Pierre-Marie de Rodat wrote: This patch series aims at enhancing GCC to emit standard DWARF in place of the current GNAT encodings (non-standard DWARF) for a set of basic types: dynamic arrays, variable-length records, variant parts, etc. Ping for the patch series

[PATCH, PING*2] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-08-08 Thread Pierre-Marie de Rodat
On 07/19/2015 12:14 AM, Pierre-Marie de Rodat wrote: This patch is an attempt to fix PR rtl-optimization/66790: please see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790 for the context. This adds a new dataflow problem (MIR for Must-Initialized Registers) and use it in the REE pass

[PATCHES, PING*3] Enhance standard DWARF for Ada

2015-08-08 Thread Pierre-Marie de Rodat
Hi, On 07/16/2015 10:34 AM, Pierre-Marie de Rodat wrote: This patch series aims at enhancing GCC to emit standard DWARF in place of the current GNAT encodings (non-standard DWARF) for a set of basic types: dynamic arrays, variable-length records, variant parts, etc. Ping for the patch series

[PATCH, PING*2] DWARF: materialize subprogram renamings in Ada as imported declarations

2015-08-08 Thread Pierre-Marie de Rodat
On 07/25/2015 09:44 PM, Pierre-Marie de Rodat wrote: This change makes GCC materialize subprogram renamings in Ada as imported declarations (DW_TAG_imported_declarations). For instance, procedure Foo renames Bar; will output: DW_TAG_imported_declaration: DW_AT_name: foo

[PATCH, PING*3] PR debug/53927: fix value for DW_AT_static_link

2015-08-08 Thread Pierre-Marie de Rodat
On 07/20/2015 09:39 AM, Pierre-Marie de Rodat wrote: This patch fixes the static link description in DWARF to comply with the specification. In order to do so, it appends a field to all FRAME objects to hold the frame base address (DW_AT_frame_base) so that the nested subrograms can directly

[PATCH, PING*3] Track indirect calls for call site information in debug info.

2015-08-08 Thread Pierre-Marie de Rodat
On 07/20/2015 02:45 PM, Pierre-Marie de Rodat wrote: On PowerPC targets with -mlongcall, most subprogram calls are turned into indirect calls: the call target is read from a register even though it is compile-time known. This makes it difficult for machine code static analysis engines to recover

Re: [PATCH] Add extensions to dwarf2.def

2015-08-14 Thread Pierre-Marie de Rodat
). Does anyone know how I should proceed? -- Pierre-Marie de Rodat From 5b18866caaa8206788baf086c02a7aaf91d555a6 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date: Tue, 9 Jun 2015 10:31:50 +0200 Subject: [PATCH 1/2] DWARF2: add extensions to handle fixed point types include

[PATCH, PING] PR debug/53927: fix value for DW_AT_static_link

2015-07-27 Thread Pierre-Marie de Rodat
On 07/20/2015 09:39 AM, Pierre-Marie de Rodat wrote: This patch fixes the static link description in DWARF to comply with the specification. In order to do so, it appends a field to all FRAME objects to hold the frame base address (DW_AT_frame_base) so that the nested subrograms can directly

[PATCH, PING] Track indirect calls for call site information in debug info.

2015-07-27 Thread Pierre-Marie de Rodat
On 07/20/2015 02:45 PM, Pierre-Marie de Rodat wrote: On PowerPC targets with -mlongcall, most subprogram calls are turned into indirect calls: the call target is read from a register even though it is compile-time known. This makes it difficult for machine code static analysis engines to recover

[PATCH, PING] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-07-27 Thread Pierre-Marie de Rodat
On 07/19/2015 12:14 AM, Pierre-Marie de Rodat wrote: This patch is an attempt to fix PR rtl-optimization/66790: please see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790 for the context. This adds a new dataflow problem (MIR for Must-Initialized Registers) and use it in the REE pass

[PATCH] DWARF: materialize subprogram renamings in Ada as imported declarations

2015-07-25 Thread Pierre-Marie de Rodat
for it). Ok for trunk? Thank you in advance for your feedback! -- Pierre-Marie de Rodat From 8eed7558683e817755314d00adaf9b4820742d22 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date: Wed, 22 Jul 2015 19:41:08 +0200 Subject: [PATCH] DWARF: materialize subprogram renamings

[PATCHES, PING] Enhance standard DWARF for Ada

2015-07-23 Thread Pierre-Marie de Rodat
On 07/16/2015 10:34 AM, Pierre-Marie de Rodat wrote: This patch series aims at enhancing GCC to emit standard DWARF in place of the current GNAT encodings (non-standard DWARF) for a set of basic types: dynamic arrays, variable-length records, variant parts, etc. Ping for the patch series

[PATCH 4/8] DWARF: add a language hook for fixed-point types

2015-07-16 Thread Pierre-Marie de Rodat
. * dwarf2out.h (enum fixed_point_scale_factor): New. (struct fixed_point_type_info): New. * dwarf2out.c (base_type_die): In DWARFv3 or non-strict DWARF mode, get fixed-point type information using the debugging hook and describe it in DWARF, if any. -- Pierre-Marie de Rodat From

[PATCH 8/8] DWARF: describe properly Ada packed arrays

2015-07-16 Thread Pierre-Marie de Rodat
of the original packed type, if any. Fix TYPE_DECL peeling around the name of the input type. -- Pierre-Marie de Rodat From 2be4df85e18e86c999d7f493366804bb57052abf Mon Sep 17 00:00:00 2001 From: derodat derodat@f8352e7e-cb20-0410-8ce7-b5d9e71c585c Date: Thu, 18 Dec 2014 12:45:52 +

[PATCH 7/8] DWARF: add a language hook for scalar biased types

2015-07-16 Thread Pierre-Marie de Rodat
the bias to subrange_type_die. -- Pierre-Marie de Rodat From 702af856454dd74dc23979e488d311ea008981ee Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date: Thu, 8 Jan 2015 11:07:06 +0100 Subject: [PATCH 7/8] DWARF: add a language hook for scalar biased types Front

[PATCHES] Enhance standard DWARF for Ada

2015-07-16 Thread Pierre-Marie de Rodat
in advance for the review! [1] https://github.com/eliben/pyelftools/ -- Pierre-Marie de Rodat

[PATCH 1/8] Add a flag to control the balance between GNAT encodings, and std. DWARF

2015-07-16 Thread Pierre-Marie de Rodat
variable. (gnat_post_options): Initialize this global from options. -- Pierre-Marie de Rodat From 77212283fa0ddbbf6aef4a6f16aa0e8286b811f3 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date: Wed, 17 Sep 2014 14:54:50 +0200 Subject: [PATCH 1/8] Add a flag to control

Re: [PATCH 1/8] Add a flag to control the balance between GNAT encodings, and std. DWARF

2015-07-16 Thread Pierre-Marie de Rodat
On 07/16/2015 12:12 PM, Richard Biener wrote: On Thu, Jul 16, 2015 at 10:52 AM, Andreas Schwab sch...@suse.de wrote: Pierre-Marie de Rodat dero...@adacore.com writes: +fgnat-encodings= IMHO the option name should include dwarf. And start with -g Thank you for your answers! Changing

[PATCH 5/8] DWARF: describe Ada dynamic arrays as proper arrays

2015-07-16 Thread Pierre-Marie de Rodat
pointers and generate the corresponding array type descriptions. -- Pierre-Marie de Rodat From 27e94b46e4873b175682848e87ccc60bec9f98b2 Mon Sep 17 00:00:00 2001 From: derodat derodat@f8352e7e-cb20-0410-8ce7-b5d9e71c585c Date: Fri, 3 Oct 2014 09:57:06 + Subject: [PATCH 5/8] DWARF: describe

[PATCH 2/8] DWARF: handle variable-length records and variant parts

2015-07-16 Thread Pierre-Marie de Rodat
. (prune_unused_types_walk): Don't mark DWARF procedures by default. Mark variant parts since nothing is supposed to reference them. gcc/testsuite/ChangeLog: * gnat.dg/specs/debug1.ads: Update the expected number of DW_AT_artificial attribute in compiler output. -- Pierre-Marie de Rodat

[PATCH 6/8] create a macro for max dimensions for array descr. lang. hook

2015-07-16 Thread Pierre-Marie de Rodat
. * dwarf2out.c (gen_type_die_with_usage): Check that the array descr. language hook does not return an array with more dimensions that it should. -- Pierre-Marie de Rodat From 5221a4fadfa84f31cc97e0eba26f8640c9abe70d Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com

[PATCH 3/8] DWARF: add a language hook to override types in debugging information

2015-07-16 Thread Pierre-Marie de Rodat
): Invoke the get_debug_type language hook, process its result instead, if any. (gen_descr_array_type_die): Add array-wide stride processing. -- Pierre-Marie de Rodat From d50a4b3d02753ccd89e05d08d9f7a9516afdf8de Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date

Re: [PATCH 2/8] DWARF: handle variable-length records and variant parts

2015-07-16 Thread Pierre-Marie de Rodat
in compiler output. -- Pierre-Marie de Rodat From a7ba9b22e494c0d7db0d141008f87c33fd7864a3 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date: Thu, 3 Jul 2014 14:16:09 +0200 Subject: [PATCH 2/8] DWARF: handle variable-length records and variant parts Enhance the DWARF back-end

[PATCH] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-07-18 Thread Pierre-Marie de Rodat
to add_removable_extension. (find_and_remove_re): Call df_mir_add_problem. -- Pierre-Marie de Rodat From 2b0fe78644c3c3b16555b69d0b787dbad4a434a4 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date: Sat, 18 Jul 2015 13:10:45 +0200 Subject: [PATCH] REE: fix

[PATCH] PR debug/53927: fix value for DW_AT_static_link

2015-07-20 Thread Pierre-Marie de Rodat
(finalize_nesting_tree_1): Append a field to hold the frame base address. * dwarf2out.c (gen_subprogram_die): Generate for DW_AT_static_link a location description that computes the value of this field. -- Pierre-Marie de Rodat

[PATCH] Track indirect calls for call site information in debug info.

2015-07-20 Thread Pierre-Marie de Rodat
-Marie de Rodat From 1fee786f51baca25f1363cd82f207cd67f48e69f Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat dero...@adacore.com Date: Thu, 13 Jun 2013 11:13:08 +0200 Subject: [PATCH] Track indirect calls for call site information in debug info. gcc/ChangeLog: * passes.def: Add a new pass

Re: [PATCH v2] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-10-19 Thread Pierre-Marie de Rodat
problems.c (df_live_bb_local_compute): Clear GEN bits for DF_REF_MUST_CLOBBER references. This one is probably ok too; I still want to experiment with it a little. Sure, I only committed the attached updated first patch. -- Pierre-Marie de Rodat >From 0275c4a20a4b9daaefbbddd5306e9214e7d5d673 Mon Sep 17

Re: [PATCH v2] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-10-20 Thread Pierre-Marie de Rodat
it with questions in comment #27 but there was no followup on this point afterwards and Bernd approved the change so I thought it was fine: what should I do? Thanks in advance, -- Pierre-Marie de Rodat

Re: GCC 6 Status Report (2015-10-16)

2015-10-20 Thread Pierre-Marie de Rodat
side (affecting both dwarf2out and var-tracking), Richard told me in August that he’s not the correct person to ping for dwarf2out patches, so I did ping you for the var-tracking part and Jason for the dwarf2out part afterwards. -- Pierre-Marie de Rodat

Re: GCC 6 Status Report (2015-10-16)

2015-10-20 Thread Pierre-Marie de Rodat
://gcc.gnu.org/ml/gcc-patches/2015-08/msg01854.html). The corresponding support in GDB is in the development branch. If there is anything I should do to ease the review process, please let me know. :-) Thank you in advance! -- Pierre-Marie de Rodat

[PATCH v2] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-10-13 Thread Pierre-Marie de Rodat
ompute): Clear GEN bits for DF_REF_MUST_CLOBBER references. -- Pierre-Marie de Rodat >From d7bf6e8c194f66e6b7e1823ad3d118115e4406bc Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat <dero...@adacore.com> Date: Sat, 18 Jul 2015 13:10:45 +0200 Subject: [PATCH 1/2] REE: fix uninitia

[PATCH, PING*3] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-08-31 Thread Pierre-Marie de Rodat
On 07/19/2015 12:14 AM, Pierre-Marie de Rodat wrote: This patch is an attempt to fix PR rtl-optimization/66790: please see <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790> for the context. This adds a new dataflow problem (MIR for Must-Initialized Registers) and use it in the RE

[PATCH, PING*3] DWARF: materialize subprogram renamings in Ada as imported declarations

2015-08-31 Thread Pierre-Marie de Rodat
On 07/25/2015 09:44 PM, Pierre-Marie de Rodat wrote: This change makes GCC materialize subprogram renamings in Ada as imported declarations (DW_TAG_imported_declarations). For instance, procedure Foo renames Bar; will output: DW_TAG_imported_declaration: DW_AT_name: foo

[PATCH, PING*4] Track indirect calls for call site information in debug info.

2015-08-31 Thread Pierre-Marie de Rodat
On 07/20/2015 02:45 PM, Pierre-Marie de Rodat wrote: On PowerPC targets with -mlongcall, most subprogram calls are turned into indirect calls: the call target is read from a register even though it is compile-time known. This makes it difficult for machine code static analysis engines to recover

[PATCH, PING*4] PR debug/53927: fix value for DW_AT_static_link

2015-08-31 Thread Pierre-Marie de Rodat
On 07/20/2015 09:39 AM, Pierre-Marie de Rodat wrote: This patch fixes the static link description in DWARF to comply with the specification. In order to do so, it appends a field to all FRAME objects to hold the frame base address (DW_AT_frame_base) so that the nested subrograms can directly

[PATCHES, PING*4] Enhance standard DWARF for Ada

2015-08-31 Thread Pierre-Marie de Rodat
On 07/16/2015 10:34 AM, Pierre-Marie de Rodat wrote: This patch series aims at enhancing GCC to emit standard DWARF in place of the current GNAT encodings (non-standard DWARF) for a set of "basic" types: dynamic arrays, variable-length records, variant parts, etc. Ping for the pa

Re: [PATCH, PING*4] Track indirect calls for call site information in debug info.

2015-12-02 Thread Pierre-Marie de Rodat
On 12/02/2015 02:57 PM, Jakub Jelinek wrote: Ok, thanks. Great, thank you! I’ve pushed the change. -- Pierre-Marie de Rodat

[PATCHES, PING] Enhance standard DWARF for Ada

2015-12-03 Thread Pierre-Marie de Rodat
On 11/26/2015 01:34 PM, Pierre-Marie de Rodat wrote: Done! (I repalced the dwarf_proc_decl_table hash table with a dwarf_proc_stack_usage_map hash_map) Here's an update for the only affected patch. Regtested again on x86_64-linux. Ping for the patches submitted in <https://gcc.gnu.org/ml/

Re: [PATCH, PING*4] Track indirect calls for call site information in debug info.

2015-12-02 Thread Pierre-Marie de Rodat
be! Here’s the patch implemeting this, bootstrapped and regtested without regression on x86_64-linux. -- Pierre-Marie de Rodat >From 41ed1a37921b4f9c5f762334265e72fd8e4b4a25 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat <dero...@adacore.com> Date: Thu, 13 Jun 2013 11:13:08 +020

Re: [PATCHES, PING*2] Enhance standard DWARF for Ada

2015-12-09 Thread Pierre-Marie de Rodat
Ping for the patches submitted in <https://gcc.gnu.org/ml/gcc-patches/2015-11/msg02723.html> and for the 2/8 update submitted in <https://gcc.gnu.org/ml/gcc-patches/2015-11/msg03224.html>. Thank you in advance! -- Pierre-Marie de Rodat

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2015-12-17 Thread Pierre-Marie de Rodat
On 12/16/2015 10:30 PM, Jason Merrill wrote: OK with those changes. All changes done, and all patches pushed. Thank you very much!! -- Pierre-Marie de Rodat

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2015-12-16 Thread Pierre-Marie de Rodat
On 12/11/2015 09:25 PM, Jason Merrill wrote: Hmm, can we generate the DWARF procedures during finalize_size_functions to avoid the need for preserve_body? Good idea, thank you! Here’s the updated patch (bootstrapped and regtested on x86_64-linux, as usual). -- Pierre-Marie de Rodat >F

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2016-01-05 Thread Pierre-Marie de Rodat
On 01/03/2016 12:45 AM, Eric Botcazou wrote: On powerpc64: FAIL: gnat.dg/specs/debug1.ads scan-assembler-times DW_AT_artificial 18 $ grep -c DW_AT_artificial debug1.s 17 Test removed. Thank you both! -- Pierre-Marie de Rodat

Re: [PATCH 2/2] Ada: add XVE/XVU parallel types to lexical scopes

2016-01-06 Thread Pierre-Marie de Rodat
Committed. Thank you! -- Pierre-Marie de Rodat

[PATCH 1/2] DWARF: process all TYPE_DECL nodes when iterating on scopes

2016-01-05 Thread Pierre-Marie de Rodat
Hello, In Ada, it is possible to have nested subprograms in the following configuration: procedure Parent is type T; [...] procedure Child (Value : T) is begin [...] end Child; begin [...] end Parent; If we generate debugging

[PATCH 2/2] Ada: add XVE/XVU parallel types to lexical scopes

2016-01-05 Thread Pierre-Marie de Rodat
Hello, This change adds TYPE_DECL nodes for XVE/XVU parallel types to lexical scopes so that these types are properly scoped in the debug information. Ok to commit? Thank you in advance! gcc/ada/ChangeLog: * gcc-interface/utils.c (rest_of_record_type_compilation): Add XVE/XVU

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2015-12-18 Thread Pierre-Marie de Rodat
, thank you for the heads up. -- Pierre-Marie de Rodat

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2015-12-21 Thread Pierre-Marie de Rodat
On 12/18/2015 09:23 PM, Pierre-Marie de Rodat wrote: On 12/18/2015 06:56 PM, Jason Merrill wrote: These broke a lot of tests in the GDB C++ testsuite. Specifically, the commit DWARF: handle variable-length records and variant parts Arg, sad to hear that! I did testing at some point

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2015-12-21 Thread Pierre-Marie de Rodat
On 12/21/2015 04:39 PM, Jason Merrill wrote: OK, thanks. Committed. Thank you again! -- Pierre-Marie de Rodat

Re: [PATCH, PING*4] PR debug/53927: fix value for DW_AT_static_link

2015-11-24 Thread Pierre-Marie de Rodat
On 08/31/2015 09:28 AM, Pierre-Marie de Rodat wrote: Ping for the patch submitted in <https://gcc.gnu.org/ml/gcc-patches/2015-07/msg01629.html>. As Jason noticed in another thread, I forgot to attach the patch here (although it’s filed in the bug tracker). Here it is! Rebased against

Re: [PATCH, PING*4] Track indirect calls for call site information in debug info.

2015-11-24 Thread Pierre-Marie de Rodat
+regtested the patch: the updated version is attached. Thanks in advance for your review! -- Pierre-Marie de Rodat >From 2a02ebc79b51693a341355a2301dc0f733591930 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat <dero...@adacore.com> Date: Thu, 13 Jun 2013 11:13:08 +0200 Subject: [PAT

Re: [PATCH, PING*3] DWARF: materialize subprogram renamings in Ada as imported declarations

2015-11-24 Thread Pierre-Marie de Rodat
! -- Pierre-Marie de Rodat

Re: [PATCH, PING*4] Track indirect calls for call site information in debug info.

2015-11-30 Thread Pierre-Marie de Rodat
that I’m working on this matter: I hope I’ll be able to yield a patch implementing your proposal before the end of this week. -- Pierre-Marie de Rodat

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2015-11-26 Thread Pierre-Marie de Rodat
-linux. -- Pierre-Marie de Rodat >From 46826e401566c26ad77e2bb6b782cc6034b96fd3 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat <dero...@adacore.com> Date: Thu, 3 Jul 2014 14:16:09 +0200 Subject: [PATCH 2/8] DWARF: handle variable-length records and variant parts Enhance the DWARF

Re: [PATCH, PING*4] PR debug/53927: fix value for DW_AT_static_link

2015-11-26 Thread Pierre-Marie de Rodat
L_NAME (fb_decl) = get_identifier ("FRAME_BASE.PARENT"); TYPE_FIELDS (root->frame_type) = chainon (TYPE_FIELDS (root->frame_type), fb_decl); Much better, thanks. :-) Here’s the updated patch. Regtested again on x86_64-linux. -- Pierre-Marie de Rodat >From 3f067709d86fea1

Re: [PATCH, PING*4] PR debug/53927: fix value for DW_AT_static_link

2015-11-26 Thread Pierre-Marie de Rodat
again for reviewing! -- Pierre-Marie de Rodat

Re: [PATCHES, PING*5] Enhance standard DWARF for Ada

2015-11-24 Thread Pierre-Marie de Rodat
On 11/23/2015 10:08 PM, Jason Merrill wrote: On 11/23/2015 08:53 AM, Pierre-Marie de Rodat wrote: Do you think the other patches could make it before the branch? (if they could, I will rebase+retest them as quick as possible). Probably, yes. I can't find the DW_AT_static_link patch, though

[PATCH, PING] DWARF: process all TYPE_DECL nodes when iterating on scopes

2016-01-12 Thread Pierre-Marie de Rodat
Hello, Ping for the patch submitted in <https://gcc.gnu.org/ml/gcc-patches/2016-01/msg00160.html>. Thanks! -- Pierre-Marie de Rodat

[PATCH] DWARF: add abstract origin links on lexical blocks DIEs

2016-01-12 Thread Pierre-Marie de Rodat
Hello, Although the following patch does not fix a regression, I believe it fixes a bug visible from a debugger, so I think it’s a valid candidate at this stage. This change tracks from which abstract lexical block concrete ones come from in DWARF so that debuggers can inherit the former

Re: [PATCH] DWARF: add abstract origin links on lexical blocks DIEs

2016-01-15 Thread Pierre-Marie de Rodat
Anyway, the patch looks ok to me but please give others a chance to chime in. Sure. Thank you for reviewing! -- Pierre-Marie de Rodat /* { dg-do run } */ /* { dg-options "-O2 -g -std=gnu99" } */ extern void *create (const char *); extern void destroy (void *); extern void do_nothing (c

Re: [PATCH] DWARF: add abstract origin links on lexical blocks DIEs

2016-01-18 Thread Pierre-Marie de Rodat
will not be too fragile… -- Pierre-Marie de Rodat

Re: [PATCH 1/2] DWARF: process all TYPE_DECL nodes when iterating on scopes

2016-01-19 Thread Pierre-Marie de Rodat
_type just returns the existing DW_TAG_record_type (still in the global scope). So assuming your proposal of the change is correct, should we then use TYPE_CONTEXT in order to (potentially) relocate TREE_TYPE (decl) in add_type_attribute? -- Pierre-Marie de Rodat -- The aim of this test is to ch

Re: [PATCH 10/9] ENABLE_CHECKING refactoring: remove remaining occurrences

2016-02-24 Thread Pierre-Marie de Rodat
t. I’m a little bit desynchronized with the development pace these days: would this be for stage 4 or GCC 7? -- Pierre-Marie de Rodat

Re: [PATCH] Fix DW_OP_GNU_implicit_pointer referring to DW_TAG_dwarf_procedure (PR debug/69947)

2016-02-26 Thread Pierre-Marie de Rodat
! -- Pierre-Marie de Rodat

Re: [PATCH 10/9] ENABLE_CHECKING refactoring: remove remaining occurrences

2016-02-25 Thread Pierre-Marie de Rodat
On 02/25/2016 11:15 AM, Martin Liška wrote: Sure. Just working on that. Great, thank you! -- Pierre-Marie de Rodat

Re: [PATCH 10/9] ENABLE_CHECKING refactoring: remove remaining occurrences

2016-02-25 Thread Pierre-Marie de Rodat
do the substitution ENABLE_CHECKING → CHECKING_P for these dwarf2out.* occurences as part of it? -- Pierre-Marie de Rodat

  1   2   3   4   5   6   7   8   9   10   >