diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2004-11-19 11:57:20 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2004-11-19 11:57:20 +0100 |
commit | ffe9aba81229acba2f9c9a96503dc08ae9a03bb5 (patch) | |
tree | 180c6c1639dfdeda66e9fb2b12980eae5f2ba409 /gcc/ada/restrict.ads | |
parent | bc202b70061a5e8765d537d4222b25284b24361a (diff) | |
download | gcc-ffe9aba81229acba2f9c9a96503dc08ae9a03bb5.tar.gz |
exp_ch4.adb (Expand_N_Selected_Component): If the component is the discriminant of a constrained subtype...
* exp_ch4.adb (Expand_N_Selected_Component): If the component is the
discriminant of a constrained subtype, analyze the copy of the
corresponding constraint, because in some cases it may be only
partially analyzed.
Removes long-lived ??? comments.
* exp_ch7.adb (Establish_Transient_Scope): Remove complex code that
handled controlled or secondary-stack expressions within the
iteration_scheme of a loop.
* sem_ch5.adb (Analyze_Iteration_Scheme): Build a block to evaluate
bounds that may contain functions calls, to prevent memory leaks when
the bound contains a call to a function that uses the secondary stack.
(Check_Complex_Bounds): Subsidiary of Analyze_Iteration_Scheme, to
generate temporaries for loop bounds that might contain function calls
that require secondary stack and/or finalization actions.
* sem_ch4.adb (Analyze_Indexed_Component_Form): If the prefix is a
selected component and the selector is overloadable (not just a
function) treat as function call, Analyze_Call will disambiguate if
necessary.
(Analyze_Selected_Component): Do not generate an actual subtype for the
selected component if expansion is disabled. The actual subtype is only
needed for constraint checks.
(Analyze_Allocator): If restriction No_Streams is set, then do
not permit objects to be declared of a stream type, or of a
composite type containing a stream.
* restrict.ads: Remove the a-stream entry from Unit_Array, since
No_Streams no longer prohibits with'ing this package.
* sem_ch3.adb (Build_Derived_Record_Type): If the parent type has
discriminants, but the parent base has unknown discriminants, there is
no discriminant constraint to inherit. Such a discrepancy can arise
when the actual for a formal type with unknown discriminants is a
similar private type whose full view has discriminants.
(Analyze_Object_Declaration): If restriction No_Streams is set, then
do not permit objects to be declared of a stream type, or of a
composite type containing a stream.
From-SVN: r90906
Diffstat (limited to 'gcc/ada/restrict.ads')
-rw-r--r-- | gcc/ada/restrict.ads | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index b2658d03331..364b6507ad3 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -93,7 +93,6 @@ package Restrict is (No_IO, "text_io "), (No_IO, "a-witeio"), (No_Task_Attributes_Package, "a-tasatt"), - (No_Streams, "a-stream"), (No_Unchecked_Conversion, "a-unccon"), (No_Unchecked_Conversion, "unchconv"), (No_Unchecked_Deallocation, "a-uncdea"), |