From c227996d911cd314e730619596e64e5a9961bd57 Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 5 Sep 2005 08:04:04 +0000 Subject: [PATCH] 2005-09-01 Ed Schonberg * sem_warn.adb (Warn_On_Known_Condition): Refine warning when applied to a variable that is statically known to be constant. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103889 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sem_warn.adb | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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; -- 2.7.4