From 28e674d71edf5c23419fde584ef2ea1228547e5b Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 23 Dec 2014 07:00:21 +0100 Subject: Add requested pragma no_strict_aliasing. --- src/ortho/mcode/binary_file.adb | 3 +-- src/ortho/mcode/binary_file.ads | 1 + src/str_table.adb | 4 ++-- 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 6043d7319..a9463ba11 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 1a2bf588d..4618aebd0 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 947c98792..32a44b58b 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 4775484ff..571e11b6a 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. -- cgit v1.2.3