File: component_size.adb

package info (click to toggle)
gcc-arm-none-eabi 15%3A14.2.rel1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,099,328 kB
  • sloc: cpp: 3,627,108; ansic: 2,571,498; ada: 834,230; f90: 235,082; makefile: 79,231; asm: 74,984; xml: 51,692; exp: 39,736; sh: 33,298; objc: 15,629; python: 15,069; fortran: 14,429; pascal: 7,003; awk: 5,070; perl: 3,106; ml: 285; lisp: 253; lex: 204; haskell: 135
file content (37 lines) | stat: -rw-r--r-- 1,175 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
 
--  { dg-do run }

procedure Component_Size is

   C_Unsigned_Long_Size : constant := 32;
   type T_Unsigned_Long is range 0 .. (2 ** 31) - 1;
   for T_Unsigned_Long'Size use C_Unsigned_Long_Size;

   C_Unsigned_Byte_Size : constant := 8;
   type T_Unsigned_Byte is range 0 .. (2 ** 8) - 1;
   for T_Unsigned_Byte'Size use C_Unsigned_Byte_Size;

   type T_Unsigned_Byte_Without_Size_Repr is range 0 .. (2 ** 8) - 1;

   C_Nb_Data : constant T_Unsigned_Long := 9;
   subtype T_Nb_Data is T_Unsigned_Long range 1 .. C_Nb_Data;
   
   type T_Wrong_Id is array (T_Nb_Data) of T_Unsigned_Byte;
   for T_Wrong_Id'Component_Size use C_Unsigned_Long_Size;

   type T_Correct_Id is array (T_Nb_Data) of T_Unsigned_Byte_Without_Size_Repr;
   for T_Correct_Id'Component_Size use C_Unsigned_Long_Size;  

   C_Value : constant := 1;

   C_Wrong_Id : constant T_Wrong_Id := T_Wrong_Id'(others => C_Value);
   C_Correct_Id : constant T_Correct_Id := T_Correct_Id'(others => C_Value);

begin
   if C_Correct_Id /= T_Correct_Id'(others => C_Value) then
      raise Program_Error;
   end if;

   if C_Wrong_Id /= T_Wrong_Id'(others => C_Value) then
      raise Program_Error;
   end if;
end;