diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ortho/mcode/binary_file.adb | 3 | ||||
| -rw-r--r-- | src/ortho/mcode/binary_file.ads | 1 | ||||
| -rw-r--r-- | src/str_table.adb | 4 | ||||
| -rw-r--r-- | src/types.ads | 1 |
4 files changed, 5 insertions, 4 deletions
diff --git a/src/ortho/mcode/binary_file.adb b/src/ortho/mcode/binary_file.adb index 6043d73..a9463ba 100644 --- a/src/ortho/mcode/binary_file.adb +++ b/src/ortho/mcode/binary_file.adb @@ -31,8 +31,7 @@ package body Binary_File is (Source => System.Address, Target => Byte_Array_Acc); -- Resize a section to SIZE bytes. - procedure Resize (Sect : Section_Acc; Size : Pc_Type) - is + procedure Resize (Sect : Section_Acc; Size : Pc_Type) is begin Sect.Data_Max := Size; Memsegs.Resize (Sect.Seg, Natural (Size)); diff --git a/src/ortho/mcode/binary_file.ads b/src/ortho/mcode/binary_file.ads index 1a2bf58..4618aeb 100644 --- a/src/ortho/mcode/binary_file.ads +++ b/src/ortho/mcode/binary_file.ads @@ -154,6 +154,7 @@ private type Byte_Array_Base is array (Pc_Type range <>) of Byte; subtype Byte_Array is Byte_Array_Base (Pc_Type); type Byte_Array_Acc is access Byte_Array; + pragma No_Strict_Aliasing (Byte_Array_Acc); type String_Acc is access String; --type Section_Flags is new Unsigned_32; diff --git a/src/str_table.adb b/src/str_table.adb index 947c987..32a44b5 100644 --- a/src/str_table.adb +++ b/src/str_table.adb @@ -30,8 +30,8 @@ package body Str_Table is Nul : constant Character := Character'Val (0); In_String : Boolean := False; - function Start return String_Id - is + + function Start return String_Id is begin pragma Assert (In_String = False); In_String := True; diff --git a/src/types.ads b/src/types.ads index 4775484..571e11b 100644 --- a/src/types.ads +++ b/src/types.ads @@ -56,6 +56,7 @@ package Types is type String_Fat is array (Pos32) of Character; type String_Fat_Acc is access String_Fat; + pragma No_Strict_Aliasing (String_Fat_Acc); -- Type of a name table element. -- The name table is defined in the name_table package. |