diff options
author | Robert Dewar <dewar@adacore.com> | 2007-12-13 11:26:56 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-12-13 11:26:56 +0100 |
commit | 36fcf362ce30d24b353f5ece90fb8d760af8626c (patch) | |
tree | 6fafce247886d6e5a58f5c2bc6f8f0bd92df7c43 /gcc/ada/usage.adb | |
parent | c8b92217c730612a4e07b1c351fa21ce7e102d21 (diff) | |
download | gcc-36fcf362ce30d24b353f5ece90fb8d760af8626c.zip gcc-36fcf362ce30d24b353f5ece90fb8d760af8626c.tar.gz gcc-36fcf362ce30d24b353f5ece90fb8d760af8626c.tar.bz2 |
exp_prag.adb (Expand_Pragma_Assert): Recognize new warning flag for assert fail
2007-12-06 Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* exp_prag.adb (Expand_Pragma_Assert): Recognize new warning flag for
assert fail
* ug_words: Add entries for -gnatw.a -gnatw.A
* sem_res.adb (Set_String_Literal_Subtype): If the context of the
literal is a subtype with non-static constraints, use the base type of
the context as the base of the string subtype, to prevent type
mismatches in gigi.
(Resolve_Actuals): If the actual is an entity name, generate a
reference before the actual is resolved and expanded, to prevent
spurious warnings on formals of enclosing protected operations.
(Analyze_Overloaded_Selected_Component): If type of prefix if
class-wide, use visible components of base type.
(Resolve_Selected_Component): Ditto.
(Resolve_Short_Circuit): Detect case of pragma Assert argument
evaluating to False, and issue warning message.
* usage.adb: Add lines for -gnatw.a and -gnatw.A
From-SVN: r130838
Diffstat (limited to 'gcc/ada/usage.adb')
-rw-r--r-- | gcc/ada/usage.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index ae5ee42..0773590 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -364,6 +364,8 @@ begin Write_Line ("Enable selected warning modes, xx = list of parameters:"); Write_Line (" a turn on all optional warnings (except d h l .o)"); Write_Line (" A turn off all optional warnings"); + Write_Line (" .a* turn on warnings for failing assertions"); + Write_Line (" .A turn off warnings for failing assertions"); Write_Line (" b turn on warnings for bad fixed value " & "(not multiple of small)"); Write_Line (" B* turn off warnings for bad fixed value " & @@ -400,9 +402,9 @@ begin Write_Line (" n* normal warning mode (cancels -gnatws/-gnatwe)"); Write_Line (" o* turn on warnings for address clause overlay"); Write_Line (" O turn off warnings for address clause overlay"); - Write_Line (" .o turn on warnings for out parameter assigned " & + Write_Line (" .o turn on warnings for out parameters assigned " & "but not read"); - Write_Line (" .O* turn off warnings for out parameter assigned " & + Write_Line (" .O* turn off warnings for out parameters assigned " & "but not read"); Write_Line (" p turn on warnings for ineffective pragma " & "Inline in frontend"); |