From 25b2dfe55c659ac84e54b0db82dff2461d9bd286 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 13 Apr 2020 14:22:50 +0200 Subject: synth: set no_strict_aliasing on memory_ptr. --- src/synth/synth-objtypes.ads | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src') 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; -- cgit v1.2.3