diff options
| author | Tristan Gingold <tgingold@free.fr> | 2014-12-23 07:00:21 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2014-12-23 07:00:21 +0100 |
| commit | 28e674d71edf5c23419fde584ef2ea1228547e5b (patch) | |
| tree | eb848cd6207773628d727f60befea3d3dc6371d3 | |
| parent | e0b78cd20fb43c20db63d32e404ae9c4ff9b35f8 (diff) | |
| download | ghdl-28e674d71edf5c23419fde584ef2ea1228547e5b.tar.gz ghdl-28e674d71edf5c23419fde584ef2ea1228547e5b.tar.bz2 ghdl-28e674d71edf5c23419fde584ef2ea1228547e5b.zip | |
Add requested pragma no_strict_aliasing.
| -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 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. |