diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2005-09-05 10:04:04 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-09-05 10:04:04 +0200 |
| commit | 8d7559ffd77a670e112c8d4064f66c29351a76bc (patch) | |
| tree | b08b3396ac470a25a64c9074df48670192c7104e | |
| parent | 2c867f5a52a8fbe19640847244e0251754fd85b2 (diff) | |
| download | gcc-8d7559ffd77a670e112c8d4064f66c29351a76bc.zip gcc-8d7559ffd77a670e112c8d4064f66c29351a76bc.tar.gz gcc-8d7559ffd77a670e112c8d4064f66c29351a76bc.tar.bz2 | |
sem_warn.adb (Warn_On_Known_Condition): Refine warning when applied to a variable that is statically known to be constant.
2005-09-01 Ed Schonberg <schonberg@adacore.com>
* sem_warn.adb (Warn_On_Known_Condition): Refine warning when applied
to a variable that is statically known to be constant.
From-SVN: r103889
| -rw-r--r-- | gcc/ada/sem_warn.adb | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 2b3dfc8..d3003df 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -1648,7 +1648,14 @@ package body Sem_Warn is end if; if True_Branch then - Error_Msg_N ("condition is always True?", Cond); + if Is_Entity_Name (Original_Node (C)) + and then Nkind (Cond) /= N_Op_Not + then + Error_Msg_NE + ("object & is always True?", Cond, Original_Node (C)); + else + Error_Msg_N ("condition is always True?", Cond); + end if; else Error_Msg_N ("condition is always False?", Cond); end if; |