Getting Started with ERC32 Ada: Ada 95 Compilation System for Spacecraft Microprocessors
PrevChapter 2. Advanced TechniquesNext

2.3. How to Get a Map File

If all you need is a link map, then you can ask the linker for one. This is a little more subtle than you may expect, because the option must be passed to the program erc-coff-ld rather than the ada linker. Here is an example that generates a map called hello.map.

Example 2-6. How to Get a Map File

$ erc-coff-gnatmake hello -largs -Wl,-Map=hello.map

Example 2-7. The Map File

$ more hello.map
...
 *(.text)
 .text          0x02000000     0x1360 /opt/erc32-ada-1.7/lib/gcc-lib/erc-coff/2.8.1/art0.o
                0x020012d0                _restart_timer
                0x02000cdc                _window_underflow
                0x02000d3c                _flush_windows
                0x02000a00                _reset_handler
                0x02000df8                _tcommon
                0x020011b8                _get_stack_ptr
                0x020012c8                _raise
                0x02001158                _set_pil
                0x020011d8                _attach_handler
                0x020011c8                _set__stack_ptr
                0x02001250                _init_iframe
                0x020012e8                _get_cpu_time
                0x02000c80                _window_overflow
                0x02001198                _get_pil
                0x02001230                _power_down
...lots of output...
PrevHomeNext
How to Customize the Linker Script FileUpChecking for Stack Overflow