Re: GNAT bug with protected procedure interrupt handler

[Daniel King <daniel.dmk@googlemail.com>]

On Saturday, 25 June 2016 10:15:12 UTC-3, Simon Wright  wrote:
> Daniel King writes:
> 
> > On Saturday, 25 June 2016 04:28:01 UTC-3, Simon Wright  wrote:
> >> Egil H H <ehh.public@gmail.com> writes:
> >> 
> >> > On Saturday, June 25, 2016 at 4:40:31 AM UTC+2, Daniel King wrote:
> >> >> 
> >> >> Has anyone else seen this problem, or are able to reproduce it? Have
> >> >> you found a workaround?
> >> >> 
> >> >
> >> > Your code works here (except that RTC_Interrupt does not exist, so I
> >> > changed it to RCC_Interrupt)
> >> 
> >> Likewise.
> >> 
> >> Compiling with -gnatG (shows a representation of the intermediate code)
> >> sometimes shows up a problem.
> >
> > Thanks, whilst trying your suggestion I realised that actually, the
> > code *compiles* fine for me too, the failure seems to occur only when
> > using -gnatc to check syntax/semantics only. When I first posted I had
> > not yet compiled the code because I was checking my .ads file since I
> > had not yet written a corresponding .adb file to compile.
> >
> > So although the GNAT bug still occurs when using -gnatc at least the
> > code compiles fine so I can still continue with my project.
> 
> You appear to have come across another instance of PR66162! Yours is an
> instance of comment 4.
> 
> I still don't know what the language restrictions for building the
> runtime are; I think that they relate to RTS units that the compiler
> relies on to generate calls into the RTS, for instance for POs. So far,
> off the top of my head, I have
> 
> * no private withs
> * no 'use' clauses in the spec
> * no visibility of non-System, non-Interface packages
> * no package aspects (not sure about this)
> 
> [1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66162

Thanks for that, Simon.

When I get some time I will look into the runtime to see if I can find any restriction violations.

Did you ever find a write-up of the runtime language restrictions?