diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-04-13 14:22:50 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-04-13 14:22:50 +0200 |
commit | 25b2dfe55c659ac84e54b0db82dff2461d9bd286 (patch) | |
tree | eba6c78a5b517e0abf38cc3065c9438312db7ba0 /src/synth | |
parent | 9974f2039d6c0adb19773dea70d227c67f5fb1fc (diff) | |
download | ghdl-25b2dfe55c659ac84e54b0db82dff2461d9bd286.tar.gz ghdl-25b2dfe55c659ac84e54b0db82dff2461d9bd286.tar.bz2 ghdl-25b2dfe55c659ac84e54b0db82dff2461d9bd286.zip |
synth: set no_strict_aliasing on memory_ptr.
Diffstat (limited to 'src/synth')
-rw-r--r-- | src/synth/synth-objtypes.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/synth/synth-objtypes.ads b/src/synth/synth-objtypes.ads index d78b3725c..d481d5623 100644 --- a/src/synth/synth-objtypes.ads +++ b/src/synth/synth-objtypes.ads @@ -153,8 +153,9 @@ package Synth.Objtypes is type Memory_Element is mod 2**8; type Memory_Array is array (Size_Type range <>) of Memory_Element; - -- Flat pointer for a generic pointer. + -- Thin pointer for a generic pointer. type Memory_Ptr is access all Memory_Array (Size_Type); + pragma No_Strict_Aliasing (Memory_Ptr); type Memtyp is record Typ : Type_Acc; |