Patchwork [Ada] Dump freeze nodes in pg output

login
register
mail settings
Submitter Arnaud Charlet
Date June 17, 2010, 10:21 a.m.
Message ID <20100617102114.GA11034@adacore.com>
Download mbox | patch
Permalink /patch/56006/
State New
Headers show

Comments

Arnaud Charlet - June 17, 2010, 10:21 a.m.
This change makes pg agree with its spec: consistent with -gnatdg, output
freeze nodes. This affects only debugging the compiler within gdb, so no test.

Tested on x86_64-pc-linux-gnu, committed on trunk

2010-06-17  Thomas Quinot  <quinot@adacore.com>

	* sprint.adb (pg): Set Dump_Freeze_Null, to be consistent with -gnatdg.

Patch

Index: sprint.adb
===================================================================
--- sprint.adb	(revision 160834)
+++ sprint.adb	(working copy)
@@ -403,7 +403,8 @@  package body Sprint is
    procedure pg (Arg : Union_Id) is
    begin
       Dump_Generated_Only := True;
-      Dump_Original_Only := False;
+      Dump_Original_Only  := False;
+      Dump_Freeze_Null    := True;
       Current_Source_File := No_Source_File;
 
       if Arg in List_Range then