GNAT User's Guide Supplement for Cross Platforms
25.0w
1. About This Guide
2. Introduction to GNAT for Cross Platforms
3. The Primary and Secondary Stacks
4. Predefined Profiles
5. Predefined GNAT Pro Run-Times
6. The GNAT Configurable Run-Time Facility
7. Support for Certified Systems
A. VxWorks Topics
B. Deos Topics
C. Bareboard Topics
D. Customized Bareboard Run-Time Libraries
E. ARM-ELF Topics and Tutorial
F. ARM AARCH64-ELF Topics
G. AVR-ELF Topics
H. LEON3 Topics
J. RISC-V 32-Bit ELF Topics
K. RISC-V 64-Bit ELF Topics
L. x86_64 ELF Topics
M. Cross Linux Topics
N. FastOS Topics
O. PikeOS Topics
P. QNX Topics
Q. RTEMS Topics
R. GNU Free Documentation License
GNAT User's Guide Supplement for Cross Platforms
Index
Index
Symbols
|
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
K
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
|
W
|
X
|
Z
Symbols
--gc-sections (gnatlink)
--RTS=
--RTS= switch
-adhl (gcc)
-E (gnatbind)
-f (gnatbind)
-fdata-sections (gcc)
-ffunction-sections (gcc)
-fno-if-conversion (gcc)
-fno-if-conversion2 (gcc)
-fno-short-circuit-optimize (gcc)
-fstack-check (gcc)
-fverbose-asm (gcc)
-gnata (gcc)
-gnatD (gcc)
,
[1]
,
[2]
-gnatE (gcc)
-gnatG (gcc)
,
[1]
,
[2]
,
[3]
-gnatL (gcc)
-gnato (gcc)
-gnatR (gcc)
,
[1]
-gnatT (gcc)
-gnatwt (gcc)
-gnaty (gcc)
,
[1]
-gnatz (gcc)
-M (gnatlink)
-mregnames (gcc)
-nodefaultlibs (gcc)
-nostdlib (gcc)
-nostdlib switch
-O (gcc)
-S (gcc)
-save-temps (gcc)
-shared (gnatbind)
-static (gnatbind)
-T (gnatbind)
-t (gnatbind)
-Wa (gcc)
-Wl (gnatlink)
_
__gnat_free
,
[1]
__gnat_last_chance_handler
__gnat_malloc
,
[1]
A
AArch64-ELF Topics
Ada.Exceptions.Traceback
Ada.Unchecked_Deallocation generic
addr2line
Allocator
Always_Compatible_Rep (configuration parameter)
and/or usage control
Annex H (Ada Reference Manual)
Annex H restrictions
ARINC-653
ARINC-653 APEX Binding (for Helix)
ARM tutorial
ARM-ELF Topics
Array and record assignments and the Certifiable Profiles
Avoiding elaboration code
AVR-ELF Topics
B
Back-End zero cost exceptions
Backend_Divide_Checks (configuration parameter)
Backend_Overflow_Checks (configuration parameter)
Bareboard debugging
Bareboard Topics
bcopy
Binder switches
Building a VxWorks 7 Application from Workbench
C
Certifiable Profiles
Certified Systems
Character Input/Output (Bareboard)
Child units (permitted in Certifiable Profiles)
Command_Line_Args (configuration parameter)
Compiler switches
conditional operators
Configurable run-time
Configurable_Run_Time (configuration parameter)
(in package System)
Configuration pragmas (for tailoring the run time)
Constraint_Error
Cross Linux Topics
Customized Bareboard Run-Time Libraries
D
Deactivated code
Debugging (Bareboard)
Denorm (configuration parameter)
Deos Topics
DO-178B
Duration_32_Bits (configuration parameter)
Dynamic Memory Allocation (Bareboard)
E
EABI (for VxWorks on PowerPC)
Elaboration code
Embedded ABI (for VxWorks on PowerPC)
Embedded ARM tutorial
Embedded Run_Time
Example - memcpy function in Ada
Exception declaration (permitted under No_Exception_Handlers)
Exceptions and the Certifiable Profiles
Exceptions and the Last Chance Handler
Exit_Status_Supported (configuration parameter)
Exponentiation (and configurable run-time)
F
FAST-OS Topics
features excluded by
,
[1]
Front-End longjmp/setjmp exceptions
Functions returning unconstrained objects
G
Generic templates (permitted in Certifiable Profiles)
GNAT Pro Run-Time Library
gnat.adc file
gnatbind switches
H
Helix APEX Application Structure
Helix Virtualization Platform Topics
I
Implicit conditionals
Implicit loops
Interrupt Handling (VxWorks)
J
Jorvik Profile
K
Known GNAT C++ Limitations on VxWorks 7
Known incompatibilities between LLVM and GNAT (for VxWorks)
L
Last_Chance_Handler
,
[1]
LEON3 Topics
Light mode
,
[1]
Light Profile
Light Run-Time Library (for Helix)
Light Run_Time
Light-Tasking mode
,
[1]
Light-Tasking Profile
Light-Tasking Run-Time
Linker Scripts (Bareboard)
M
Machine_Overflows (configuration parameter)
Machine_Rounds (configuration parameter)
MC/DC (in DO-178B and DO-178C)
memcpy
memLib
memmove
memNoMoreAllocations
memset
Minimizing Code and Data Sizes (Bareboard)
Mixed-language programming (for VxWorks)
,
[1]
Modes (of GNAT Pro Configuration)
Modified Condition/Decision Coverage
N
Naming the run-time library
No_Allocators restriction
No_Direct_Boolean_Operators restriction
No_Implicit_Conditionals
No_Implicit_Conditionals restriction
,
[1]
No_Implicit_Heap_Allocators restriction
No_Implicit_Loops
No_Implicit_Loops restriction
,
[1]
No_Local_Allocators restriction
No_Secondary_Stack restriction
No_Unchecked_Deallocation restriction
O
Object-Oriented Programming (and the Certifiable Profiles)
Object-Oriented Programming and the Certifiable Profiles
Optimization issues
P
PikeOS Topics
PowerPC VxWorks
pragma Detect_Blocking
pragma Discard_Names
,
[1]
pragma Locking_Policy
pragma Normalize_Scalars
pragma Queuing_Policy
pragma Restrictions
,
[1]
,
[2]
(No_Secondary_Stack)
pragma Suppress_Exception_Locations
pragma Task_Dispatching_Policy
Preallocated_Stacks (configuration parameter)
Primary and Secondary Stacks
Primary Stack
Program_Error
Q
QNX Topics
R
raise statement (permitted under No_Exception_Handlers)
Ravenscar Profile
Record and array assignments and the Certifiable Profiles
relocation issues
,
[1]
Relocation issues for PowerPC VxWorks targets
Removal of Deactivated Code
returned by functions
Reviewable object code
RISCV32-ELF Topics
RISCV64-ELF Topics
RTEMS Topics
Run_Time_Name (for configurable run time)
S
s-secsta.ads (package spec System.Secondary_Stack)
Secondary Stack
,
[1]
Secondary stack (for unconstrained objects returned by functions)
Signed_Zeros (configuration parameter)
Slice assignment and implicit loops and conditionals
Specifying a Run-Time
Specifying the Run-Time Library
Stack_Check_Default (configuration parameter)
Stack_Check_Limits (configuration parameter)
Stack_Check_Probes (configuration parameter)
Standard Run-Time
Storage_Error
Support_Aggregates (configuration parameter)
Support_Atomic_Primitives (configuration parameter)
Support_Composite_Assign (configuration parameter)
Support_Composite_Compare (configuration parameter)
Support_Long_Shifts (configuration parameter)
Suppress_Standard_Library (configuration parameter)
System.Secondary_Stack
System.Traceback
T
Tagged types at library level (permitted in Certifiable Profiles)
Traceability from Source Code to Object Code
Tutorial (Embedded ARM)
Typographical conventions
U
Unchecked_Deallocation generic
Unconstrained objects
Use_Ada_Main_Program_Name (configuration parameter)
V
Viewing Code and Data Size (Bareboard)
vxaddr2line
VxWorks 7 RTPs and kernel modules
VxWorks PowerPC
VxWorks Topics
W
Workbench / VxWorks 7 Topics
X
x86_64-ELF Topics
Z
ZCX_By_Default (configuration parameter)