diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 14:29:05 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 14:29:05 +0000 |
| commit | ac07802accadffbc9a2d932c14ad599d8e38fe91 (patch) | |
| tree | 71cd8e1fabb3e180122c16f7f4247f629b720c7e /gcc/ada/opt.ads | |
| parent | 165e0f407ad88caf8240bb68361adac267996aa6 (diff) | |
| download | gcc-ac07802accadffbc9a2d932c14ad599d8e38fe91.tar.gz | |
2014-07-30 Robert Dewar <dewar@adacore.com>
* clean.adb: Minor reformatting.
* opt.ads: Minor fix to incorrect comment.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* a-chtgbo.ads, a-chtgbo.adb (Delete_Node_At_Index): New
subprogram, used by bounded hashed sets, to delete a node at
a given index, whose element may have been improperly updated
through a Reference_Preserving key.
* a-cbhase.ads: Add Reference_Control_Type to package Generic_Keys.
* a-cbhase.adb: Add Adjust and Finalize routines for
Reference_Control_Type.
(Delete, Insert): Raise Program_Error, not Constraint_Error,
when operation is illegal.
(Reference_Preserving_Key): Build aggregate for Reference_Control_Type
* a-cmbutr.ads: Add Reference_Control_Type to detect tampering. Add
private with_clause for Ada.Finalization.
* a-cbmutr.adb: Add Adjust and Finalize routines for
Reference_Control_Type. Use it in the construction of Reference
and Constant_Reference values.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213285 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 8781d97f251..dfb2aac86c4 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -224,7 +224,7 @@ package Opt is -- GNAT Normally, in accordance with (RM 13.9.1 (9-11)) the front end -- assumes that values could have invalid representations, unless it can -- clearly prove that the values are valid. If this switch is set (by - -- pragma Assume_No_Invalid_Values (Off)), then the compiler assumes values + -- pragma Assume_No_Invalid_Values (On)), then the compiler assumes values -- are valid and in range of their representations. This feature is now -- fully enabled in the compiler. |