OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

sem_warn.adb (Warn_On_Known_Condition): Refine warning when applied to a variable that is statically known to be constant.

Browse Source 
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
This commit is contained in:
Ed Schonberg 2005-09-05 10:04:04 +02:00 committed by Arnaud Charlet
parent 2c867f5a52
commit 8d7559ffd7
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ada/sem_warn.adb
View File

@ -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;