Re: Importance of GNAT.Source_Info

[Jere <jhb.chat@gmail.com>]

On Tuesday, January 7, 2020 at 1:12:42 AM UTC-5, Niklas Holsti wrote:
> On 2020-01-07 4:29, Optikos wrote:
> > On Monday, January 6, 2020 at 4:03:56 PM UTC-6, Jere wrote:
> >> I'm working on a baremetal RTS and while looking at
> >> https://wiki.osdev.org/Ada_Bare_bones, one of the files
> >> it suggests is part of the minimum set of RTS files is
> >> g-souinf.ads which contains the package GNAT.Source_Info.
> >>
> >> Does anyone know what part of the compiler requires this?
> >> So far I haven't had GNAT barf at me for not having it
> >> while compiling the files I do have, but I don't want to
> >> leave it out if it is indeed necessary for something.  I
> >> didn't see any info on why it is necessary.  It's definitely
> >> useful in that it gives a lot of compile time values, but
> >> not sure why it would be a "required" file.  I'm assuming
> >> something will break without it, but don't know what.
> >>
> >> Sorry that this isn't a pure "Ada" question and is more
> >> focused on GNAT specifically, but thought one of yall
> >> might know why.
> GNAT might use GNAT.Source_Info in code generated to raise exceptions 
> with strings. However, as all subprograms in GNAT.Source_Info are marked 
> "Intrinsic", it seems that GNAT could as well generate that "intrinsic" 
> code without calling GNAT.Source_Info. So I don't really know.
> 

Yeah, that makes sense. TY