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 | |
| parent | 9974f2039d6c0adb19773dea70d227c67f5fb1fc (diff) | |
| download | ghdl-25b2dfe55c659ac84e54b0db82dff2461d9bd286.tar.gz ghdl-25b2dfe55c659ac84e54b0db82dff2461d9bd286.tar.bz2 ghdl-25b2dfe55c659ac84e54b0db82dff2461d9bd286.zip | |
synth: set no_strict_aliasing on memory_ptr.
| -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; |