diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 10:11:09 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 10:11:09 +0200 |
| commit | 0ea55619ffb4a028dd427ee43e5b8c99f3269748 (patch) | |
| tree | a355086490ff99333e92d09d16dab72dbea68ec0 /gcc/ada/usage.adb | |
| parent | 2791be24535827b03f32ab5c84c5a5c746a8d9f7 (diff) | |
| download | gcc-0ea55619ffb4a028dd427ee43e5b8c99f3269748.zip gcc-0ea55619ffb4a028dd427ee43e5b8c99f3269748.tar.gz gcc-0ea55619ffb4a028dd427ee43e5b8c99f3269748.tar.bz2 | |
[multiple changes]
2012-10-01 Thomas Quinot <quinot@adacore.com>
* make.adb: Minor documentation fix: error messages are sent to
stderr, not stdout.
2012-10-01 Hristian Kirtchev <kirtchev@adacore.com>
* checks.ads, checks.adb (Apply_Parameter_Aliasing_Checks): New routine.
(Apply_Parameter_Validity_Checks): New routines.
* exp_ch6.adb (Expand_Call): Add aliasing checks to detect
overlapping objects.
* freeze.adb: Add with and use clauses for Checks and Validsw.
(Freeze_Entity): Add checks to detect proper initialization
of scalars.
* sem_ch4.adb: Add with and use clauses for Checks and Validsw.
(Analyze_Call): Add aliasing checks to detect overlapping objects.
* sem_ch13.adb: Add with and use clauses for Validsw.
(Analyze_Aspect_Specifications): Add checks to detect proper
initialization of scalars.
* sem_prag.adb (Chain_PPC): Correct the extraction of the
subprogram name.
* sem_util.adb (Is_Object_Reference): Attribute 'Result now
produces an object.
* usage.adb (Usage): Add usage lines for validity switches 'l',
'L', 'v' and 'V'.
* validsw.adb (Reset_Validity_Check_Options): Include
processing for flags Validity_Check_Non_Overlapping_Params and
Validity_Check_Valid_Scalars_On_Params. Code reformatting.
(Save_Validity_Check_Options): Include processing
for flags Validity_Check_Non_Overlapping_Params
and Validity_Check_Valid_Scalars_On_Params.
(Set_Validity_Check_Options): Add processing for validity switches
'a', 'l', 'L', 'n', 'v' and 'V'. Code reformatting.
* validsw.ads: Add new flags Validity_Check_Non_Overlapping_Params
and Validity_Check_Valid_Scalars_On_Params along with comments
on usage.
2012-10-01 Thomas Quinot <quinot@adacore.com>
* namet.ads, xsnamest.adb, prj-env.adb, sem_warn.adb,
errout.ads: Minor reformatting.
* prj-part.adb: Add comment.
From-SVN: r191890
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 59a5899..f24b2fc 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -399,6 +399,8 @@ begin Write_Line (" F turn off checking for floating-point"); Write_Line (" i turn on checking for in params"); Write_Line (" I turn off checking for in params"); + Write_Line (" l turn on checking for non-overlapping params"); + Write_Line (" L turn off checking for non-overlapping params"); Write_Line (" m turn on checking for in out params"); Write_Line (" M turn off checking for in out params"); Write_Line (" o turn on checking for operators/attributes"); @@ -411,6 +413,8 @@ begin Write_Line (" S turn off checking for subscripts"); Write_Line (" t turn on checking for tests"); Write_Line (" T turn off checking for tests"); + Write_Line (" v turn on checking for 'Valid_Scalars on params"); + Write_Line (" V turn off checking for 'Valid_Scalars on params"); Write_Line (" n turn off all validity checks (including RM)"); -- Lines for -gnatw switch |