From: charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 5 Sep 2005 08:04:04 +0000 (+0000)
Subject: 2005-09-01  Ed Schonberg  <schonberg@adacore.com>
X-Git-Tag: upstream/4.9.2~58820
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c227996d911cd314e730619596e64e5a9961bd57;p=platform%2Fupstream%2Flinaro-gcc.git

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.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103889 138bc75d-0d04-0410-961f-82ee72b054a4
---

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;