diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-06-16 08:46:48 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-06-16 08:46:48 +0000 |
| commit | 81afcabab09e41e0de923a6101063f4d946ee6c4 (patch) | |
| tree | 2fd9de2fcc2da74af54d178a347c530dfa49dd8b /gcc/ada | |
| parent | f140e45c456a155ce43cc83740b60eee16251965 (diff) | |
| download | gcc-81afcabab09e41e0de923a6101063f4d946ee6c4.tar.gz | |
2005-06-14 Ed Schonberg <schonberg@adacore.com>
* sem_warn.adb (Warn_On_Known_Condition): If the constant expression
appears within a negation (either from source or as a rewriting of
inequality) adjust text of warning accordingly.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101061 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/sem_warn.adb | 32 |
1 files changed, 25 insertions, 7 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 371060669cb..28cb9ded1ee 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1999-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1999-2005 Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -1627,14 +1627,32 @@ package body Sem_Warn is end loop; -- Here we issue the warning unless some sub-operand has warnings - -- set off, in which case we suppress the warning for the node. + -- set off, in which case we suppress the warning for the node. If + -- the original expression is an inequality, it has been expanded + -- into a negation, and the value of the original expression is the + -- negation of the equality. If the expression is an entity that + -- appears within a negation, it is clearer to flag the negation + -- itself, and report on its constant value. if not Operand_Has_Warnings_Suppressed (C) then - if Entity (C) = Standard_True then - Error_Msg_N ("condition is always True?", C); - else - Error_Msg_N ("condition is always False?", C); - end if; + declare + True_Branch : Boolean := Entity (C) = Standard_True; + Cond : Node_Id := C; + + begin + if Present (Parent (C)) + and then Nkind (Parent (C)) = N_Op_Not + then + True_Branch := not True_Branch; + Cond := Parent (C); + end if; + + if True_Branch then + Error_Msg_N ("condition is always True?", Cond); + else + Error_Msg_N ("condition is always False?", Cond); + end if; + end; end if; end if; end Warn_On_Known_Condition; |