diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-06-16 08:46:36 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-06-16 08:46:36 +0000 |
commit | f140e45c456a155ce43cc83740b60eee16251965 (patch) | |
tree | 473b3727e61ab7b0c861751f6de3c8d7be1894ba /gcc/ada/snames.adb | |
parent | 6afcc79f3b0aa690a91ea864d9d658e9609c0d19 (diff) | |
download | gcc-f140e45c456a155ce43cc83740b60eee16251965.tar.gz |
2005-06-14 Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
PR ada/10671
* sem_prag.adb: Implement pragma Persistent_BSS
Remove obsolete pragma Persistent_Data, Persistent_Object
Set Ada_Version_Explicit, for implementation of AI-362
Test Ada_Version_Explicit for Preelaborate_05 and Pure_05
Add processing for pragma Pure_05 and Preelaborate_05
Add processing for Assertion_Policy pragma
Add pragma identifiers for Assert
(Analyze_Pragma, case Assert): Check number of arguments
(Process_Inline): Additional guard against an illegal program, where the
argument of the pragma is undefined, and warnings on redundant
constructs are enabled.
(Analyze_Pragma, case Obsolescent): Allow an optional second argument
Ada_05 to this pragma, specifying that the pragma is only active in
Ada_05 mode.
(Check_Arg_Order): New procedure
Add appropriate calls to this procedure throughout
Also throughout, check entity name before doing any other checks
* snames.h snames.ads, snames.adb: Add pragma Persistent_BSS
Remove obsolete pragma Persistent_Data, Persistent_Object
Add entries for pragma Pure_05 and Preelaborate_05
Add entries for Assertion_Policy pragma and associated names
Add some names for pragma argument processing
* tbuild.ads, tbuild.adb: (Make_Linker_Section_Pragma): New function
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101060 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/snames.adb')
-rw-r--r-- | gcc/ada/snames.adb | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/gcc/ada/snames.adb b/gcc/ada/snames.adb index 237984600d7..4894f549599 100644 --- a/gcc/ada/snames.adb +++ b/gcc/ada/snames.adb @@ -169,6 +169,7 @@ package body Snames is "ada_83#" & "ada_95#" & "ada_05#" & + "assertion_policy#" & "c_pass_by_copy#" & "compile_time_warning#" & "component_alignment#" & @@ -191,8 +192,7 @@ package body Snames is "no_strict_aliasing#" & "normalize_scalars#" & "polling#" & - "persistent_data#" & - "persistent_object#" & + "persistent_bss#" & "profile#" & "profile_warnings#" & "propagate_exceptions#" & @@ -277,9 +277,11 @@ package body Snames is "page#" & "passive#" & "preelaborate#" & + "preelaborate_05#" & "priority#" & "psect_object#" & "pure#" & + "pure_05#" & "pure_function#" & "remote_call_interface#" & "remote_types#" & @@ -320,9 +322,12 @@ package body Snames is "default#" & "dll#" & "win32#" & + "alias#" & "as_is#" & + "attribute_name#" & "body_file_name#" & "boolean_entry_barriers#" & + "check#" & "casing#" & "code#" & "component#" & @@ -333,6 +338,7 @@ package body Snames is "dot_replacement#" & "dynamic#" & "entity#" & + "entry_count#" & "external_name#" & "first_optional_parameter#" & "form#" & @@ -341,6 +347,8 @@ package body Snames is "gnat#" & "gpl#" & "ieee_float#" & + "ignore#" & + "info#" & "internal#" & "link_name#" & "lowercase#" & @@ -348,6 +356,7 @@ package body Snames is "max_entry_queue_length#" & "max_size#" & "mechanism#" & + "message#" & "mixedcase#" & "modified_gpl#" & "name#" & @@ -373,6 +382,7 @@ package body Snames is "semaphore#" & "simple_barriers#" & "spec_file_name#" & + "state#" & "static#" & "stack_size#" & "subunit_file_name#" & @@ -390,6 +400,7 @@ package body Snames is "user#" & "vax_float#" & "vms#" & + "vtable_ptr#" & "working_storage#" & "abort_signal#" & "access#" & |