[Ada] SCOs for disabled pragmas

[Arnaud Charlet <charlet at adacore dot com>]

SCOs for disabled pragma statements (Assert or Debug) should be output with
a marker indicating that they are disabled, rather than suppresed, because
references to them can appear in dominance markers for subsequent statement
sequences.

In the following compilation, the dominance marker must designate the sloc
of an existing SCO statement entry with a code character 'p' (disabled
pragma):

$ gcc -c -gnateS dom_debug.adb
$ grep ^C dom_debug.ali
C 9 dom_debug.adb
CS o3:4-3:9 pDEBUG:4:4-4:40
CS 5:25-5:25
CS >S4:4 o6:4-6:9
CS 8:4-8:4

with Ada.Text_IO;
procedure Dom_Debug is
   X0 : Integer;
   pragma Debug (Ada.Text_IO.Put_Line ("hello"));
   procedure P is begin null; end P;
   X1 : Integer;
begin
   null;
end Dom_Debug;

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

2012-01-23  Thomas Quinot  <quinot@adacore.com>

	* scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
	omit statement SCOs for disabled pragmas.

Attachment: difs
Description: Text document