]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Expose symmetry between Known_ and Unknown_ query routines
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 20 Apr 2021 08:53:06 +0000 (10:53 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 29 Jun 2021 14:23:49 +0000 (14:23 +0000)
gcc/ada/

* einfo-utils.adb
(Unknown_Alignment): Simply negate the Known_ counterpart.
(Unknown_Component_Bit_Offset): Likewise.
(Unknown_Esize): Likewise.
(Unknown_Normalized_First_Bit): Likewise.
(Unknown_Normalized_Position): Likewise.
(Unknown_Normalized_Position_Max): Likewise.
(Unknown_RM_Size): Likewise.

gcc/ada/einfo-utils.adb

index 02ccef10f4421402601fa1c7615a07eb6e9a3b34..6e8a77208b9650630b467a367202f16027f7c288 100644 (file)
@@ -593,13 +593,12 @@ package body Einfo.Utils is
 
    function Unknown_Alignment                     (E : Entity_Id) return B is
    begin
-      return Alignment (E) = Uint_0
-        or else Alignment (E) = No_Uint;
+      return not Known_Alignment (E);
    end Unknown_Alignment;
 
    function Unknown_Component_Bit_Offset          (E : Entity_Id) return B is
    begin
-      return Component_Bit_Offset (E) = No_Uint;
+      return not Known_Component_Bit_Offset (E);
    end Unknown_Component_Bit_Offset;
 
    function Unknown_Component_Size                (E : Entity_Id) return B is
@@ -609,32 +608,27 @@ package body Einfo.Utils is
 
    function Unknown_Esize                         (E : Entity_Id) return B is
    begin
-      return Esize (E) = No_Uint
-               or else
-             Esize (E) = Uint_0;
+      return not Known_Esize (E);
    end Unknown_Esize;
 
    function Unknown_Normalized_First_Bit          (E : Entity_Id) return B is
    begin
-      return Normalized_First_Bit (E) = No_Uint;
+      return not Known_Normalized_First_Bit (E);
    end Unknown_Normalized_First_Bit;
 
    function Unknown_Normalized_Position           (E : Entity_Id) return B is
    begin
-      return Normalized_Position (E) = No_Uint;
+      return not Known_Normalized_Position (E);
    end Unknown_Normalized_Position;
 
    function Unknown_Normalized_Position_Max       (E : Entity_Id) return B is
    begin
-      return Normalized_Position_Max (E) = No_Uint;
+      return not Known_Normalized_Position_Max (E);
    end Unknown_Normalized_Position_Max;
 
    function Unknown_RM_Size                       (E : Entity_Id) return B is
    begin
-      return (RM_Size (E) = Uint_0
-                and then not Is_Discrete_Type (E)
-                and then not Is_Fixed_Point_Type (E))
-        or else RM_Size (E) = No_Uint;
+      return not Known_RM_Size (E);
    end Unknown_RM_Size;
 
    --------------------