Ada: pragma Machine_Attribute doesn't work

Ada: pragma Machine_Attribute doesn't work

[Bernd Trog]

Hi,
I have this C stuff:

void boot(void) __attribute__ ((section (".bootloader")));

and this part of the Makefile to set the address at link-time:

gcc [...]  -Wl,--section-start=.bootloader=0x1E000

Now I'd like to do the same in GNAT Ada.
I've tried:

procedure Boot;

pragma Machine_Attribute (Entity => Boot,
                          Attribute_Name => "section ("".bootloader"")"
procedure Boot
is
begin   
   null;
end;

and got this warning:

bootloader.adb:12: warning: `section (".bootloader")' attribute directive
ignored

And 'objdump -h' doesn't print a .bootloader section :-(

I'm using gcc-33-20030127.






__________________________________
Do you Yahoo!?
The New Yahoo! Search - Faster. Easier. Bingo.
http://search.yahoo.com

Re: Ada: pragma Machine_Attribute doesn't work

[Geert Bosch]

That warning is generated in attribs.c. I have no idea why
this doesn't work. It seems that the attribute_tables are not
set up properly, but that doesn't seem to be a front end
responsibility. Could you file a GNATS bug report for this?
(But see remarks below... :)

On Tuesday, May 6, 2003, at 05:04 America/New_York, Bernd Trog wrote:
> Hi,
> I have this C stuff:
>
> void boot(void) __attribute__ ((section (".bootloader")));
>
> and this part of the Makefile to set the address at link-time:
>
> gcc [...]  -Wl,--section-start=.bootloader=0x1E000
>
> Now I'd like to do the same in GNAT Ada.
> I've tried:
>
> procedure Boot;
>
> pragma Machine_Attribute (Entity => Boot,
>                           Attribute_Name => "section ("".bootloader"")"
> procedure Boot
> is
> begin
>    null;
> end;
>
> and got this warning:
>
> bootloader.adb:12: warning: `section (".bootloader")' attribute 
> directive
> ignored

You should have gotten:
boot.ads:4:72: missing ")"

Please in the future also include platform that you use,
as such attributes are platform specific.

   -Geert

Re: Ada: pragma Machine_Attribute doesn't work

[Bernd Trog]

--- Geert Bosch <bosch@gnat.com> wrote:
> responsibility. Could you file a GNATS bug report for this?

Just did this: ada/10670
Is this all the info you need?

Note, that I've created a maybe related PR: ada/10671 






__________________________________
Do you Yahoo!?
The New Yahoo! Search - Faster. Easier. Bingo.
http://search.yahoo.com