Re: [Ada] New attribute typ'Deref (address-expr)

2015-03-26 Thread Eric Botcazou
For now it will blow up with a GCC error in the back end, which does not know about this attribute yet. I guess that we don't want to have a half-backed implementation so I have installed the gigi part. Tested on x86_64-suse-linux. 2015-03-26 Eric Botcazou ebotca...@adacore.com *

[Ada] New attribute typ'Deref (address-expr)

2015-03-24 Thread Arnaud Charlet
This attribute is equivalent to (atyp!(address-expr)).all where atyp is a general-access-to-typ type. Right now, only the front end changes are done. The back end needs to adapt to this change too. The following is a test which should compile and run silently 1. with System; use System;