diff options
| author | Bob Duff <duff@adacore.com> | 2020-06-11 14:05:55 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-16 05:18:17 -0400 |
| commit | 47484baae5aa2c74f1b65547f4436baa040b2728 (patch) | |
| tree | b58e36ef11a0db4684f4d64519090c6655c9d472 /gcc/ada/tbuild.ads | |
| parent | 22157c64fc3ac5301d58f6497731f73959d5c29b (diff) | |
| download | gcc-47484baae5aa2c74f1b65547f4436baa040b2728.zip gcc-47484baae5aa2c74f1b65547f4436baa040b2728.tar.gz gcc-47484baae5aa2c74f1b65547f4436baa040b2728.tar.bz2 | |
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU
gcc/ada/
* gnatbind.adb (Gnatbind): For No_Tasks_Unassigned_To_CPU, check
that CPU has been set on the main subprogram.
(Restriction_Could_Be_Set): Don't print
No_Tasks_Unassigned_To_CPU if it would violate the
above-mentioned rule. Up to now, all restrictions were checked
by the compiler, with the binder just checking for consistency.
But the compiler can't know which subprogram is the main, so
it's impossible to check this one at compile time.
* restrict.ads, restrict.adb: Misc refactoring. Change Warning
to Warn, for consistency, since most already use Warn.
(Set_Restriction): New convenience routine.
* sem_ch13.adb (Attribute_CPU): Check
No_Tasks_Unassigned_To_CPU.
* sem_prag.adb (Pragma_CPU): Check No_Tasks_Unassigned_To_CPU.
Misc refactoring.
* tbuild.ads, tbuild.adb (Sel_Comp): New functions for building
selected components.
Diffstat (limited to 'gcc/ada/tbuild.ads')
| -rw-r--r-- | gcc/ada/tbuild.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/tbuild.ads b/gcc/ada/tbuild.ads index 3256804..70bf653 100644 --- a/gcc/ada/tbuild.ads +++ b/gcc/ada/tbuild.ads @@ -335,6 +335,11 @@ package Tbuild is -- fixed-point small is called typ_SMALL where typ is the name of the -- fixed-point type (as passed in Related_Id), and Suffix is "SMALL". + function Sel_Comp (Pre, Sel : String; Loc : Source_Ptr) return Node_Id; + function Sel_Comp (Pre : Node_Id; Sel : String) return Node_Id; + -- Create a selected component of the form Pre.Sel; that is, Pre is the + -- prefix, and Sel is the selector name. + function OK_Convert_To (Typ : Entity_Id; Expr : Node_Id) return Node_Id; -- Like Convert_To, except that a conversion node is always generated, and -- the Conversion_OK flag is set on this conversion node. |