diff options
| author | Robert Dewar <dewar@adacore.com> | 2005-06-16 10:46:36 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-06-16 10:46:36 +0200 |
| commit | 59e5fbe064423bf109f2e0525d45872f8c77ae05 (patch) | |
| tree | 473b3727e61ab7b0c861751f6de3c8d7be1894ba /gcc/ada/tbuild.ads | |
| parent | 6eaf4095470fa44376f802f70382f4ee56b6aa9e (diff) | |
| download | gcc-59e5fbe064423bf109f2e0525d45872f8c77ae05.zip gcc-59e5fbe064423bf109f2e0525d45872f8c77ae05.tar.gz gcc-59e5fbe064423bf109f2e0525d45872f8c77ae05.tar.bz2 | |
re PR ada/10671 (improve error message for named notation used in pragma)
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
From-SVN: r101060
Diffstat (limited to 'gcc/ada/tbuild.ads')
| -rw-r--r-- | gcc/ada/tbuild.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/tbuild.ads b/gcc/ada/tbuild.ads index 3cd0fcc..4834966 100644 --- a/gcc/ada/tbuild.ads +++ b/gcc/ada/tbuild.ads @@ -118,6 +118,13 @@ package Tbuild is pragma Inline (Make_Integer_Literal); -- A convenient form of Make_Integer_Literal taking Int instead of Uint + function Make_Linker_Section_Pragma + (Ent : Entity_Id; + Loc : Source_Ptr; + Sec : String) return Node_Id; + -- Construct a Linker_Section pragma for entity Ent, using string Sec as + -- the section name. Loc is the Sloc value to use in building the pragma. + function Make_Raise_Constraint_Error (Sloc : Source_Ptr; Condition : Node_Id := Empty; |