diff options
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index b91dd89..40749ad 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -929,6 +929,8 @@ package body Sem_Ch13 is -- Insert a postcondition-like pragma into the tree depending on the -- context. Prag one of the following: Pre, Post, Depends or Global. + -- Why not also Contract_Cases ??? + --------------------------- -- Insert_Delayed_Pragma -- --------------------------- @@ -986,6 +988,8 @@ package body Sem_Ch13 is -- Insert pragmas/attribute definition clause after this node when no -- delayed analysis is required. + -- Start of processing for Analyze_Aspect_Specifications + -- The general processing involves building an attribute definition -- clause or a pragma node that corresponds to the aspect. Then in order -- to delay the evaluation of this aspect to the freeze point, we attach |