procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[Ada] Remove doubly-negated tests for empty lists

Browse source 
Replace "not Is_Non_Empty_List (...)" with "Is_Empty_List (...)".

Code cleanup; semantics is unaffected.

gcc/ada/

	* exp_ch5.adb (Update_Choice_Index): Simplify condition.
	* sem_ch8.adb (Attribute_Renaming): Likewise.
This commit is contained in:
Piotr Trojanek 2022-01-10 14:21:17 +01:00 • committed by Pierre-Marie de Rodat
parent 6b4c99cc92
commit 8e13160b10
2 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
gcc/ada/exp_ch5.adb
View file

@ -3563,8 +3563,7 @@ package body Exp_Ch5 is
-- is ok here.
--
pragma Assert
(not Is_Non_Empty_List
(Component_Associations (Pattern)));
(Is_Empty_List (Component_Associations (Pattern)));
declare
Agg_Length : constant Node_Id :=

2
gcc/ada/sem_ch8.adb
View file

@ -4532,7 +4532,7 @@ package body Sem_Ch8 is
-- have at least one formal parameter, with the exceptions of the GNAT
-- attribute 'Img, which GNAT treats as renameable.
if not Is_Non_Empty_List (Parameter_Specifications (Spec)) then
if Is_Empty_List (Parameter_Specifications (Spec)) then
if Aname /= Name_Img then
Error_Msg_N
("subprogram renaming an attribute must have formals", N);