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

[Ada] Consistent suppression for warnings inside null loops

Browse Source 
gcc/ada/

	* errout.adb (Error_Msg): Move warning suppression code from
	Error_Msg_NLE
	(Error_Msg_NLE): Warning suppression is now done by the internal
	call to Error_Msg.
This commit is contained in:
Piotr Trojanek 2021-12-13 14:07:42 +01:00 committed by Pierre-Marie de Rodat
parent e8a52167ea
commit c8e99971b6
1 changed files with 22 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
gcc/ada/errout.adb
View File

@ -440,6 +440,28 @@ package body Errout is
and then Warnings_Detected >= Maximum_Messages
then
return;
-- Suppress warnings inside a loop that is known to be null or is
-- probably null (i.e. when loop executes only if invalid values
-- present). In either case warnings in the loop are likely to be junk.
elsif Is_Warning_Msg and then Present (N) then
declare
P : Node_Id;
begin
P := Parent (N);
while Present (P) loop
if Nkind (P) = N_Loop_Statement
and then Suppress_Loop_Warnings (P)
then
return;
end if;
P := Parent (P);
end loop;
end;
end if;
-- The idea at this stage is that we have two kinds of messages
@ -1490,26 +1512,6 @@ package body Errout is
Last_Killed := True;
return;
end if;
-- Suppress if inside loop that is known to be null or is probably
-- null (case where loop executes only if invalid values present).
-- In either case warnings in the loop are likely to be junk.
declare
P : Node_Id;
begin
P := Parent (N);
while Present (P) loop
if Nkind (P) = N_Loop_Statement
and then Suppress_Loop_Warnings (P)
then
return;
end if;
P := Parent (P);
end loop;
end;
end if;
-- Test for message to be output