Index

Symbols

"**" operator (restrictions on usage in Zero Footprint Profile) --gc-sections (gnatlink) --RTS= switch, [1], [2] -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) -gnatP (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) 64-bit fixed-point types (excluded from Zero Footprint profile) 64-bit integer types (excluded from Zero Footprint profile) 64-bit Numeric Types

_

__gnat_free

__gnat_last_chance_handler __gnat_malloc

A

abort statements (excluded from Ravenscar Profile) Abort_Task procedure (excluded from Ravenscar Profile) absolute (permitted in Ravenscar Profile) Absolute delay statements (permitted in Ravenscar Profile) accept statements (excluded from Ravenscar Profile) Ada.Calendar package (excluded from Ravenscar Profile) Ada.Exceptions.Exception_Name Ada.Exceptions.Last_Chance_Handler Ada.Real_Time package (permitted in Ravenscar Profile) Ada.Tags package (permitted in Zero Footprint profile) Ada.Task_Identification package (permitted in Ravenscar Profile Ada.Unchecked_Conversion generic (permitted in Zero Footprint profile)

Ada.Unchecked_Deallocation generic (permitted in Zero Footprint profile) Allocator and/or usage control Annex E (excluded from Zero Footprint profile) Annex H (Ada Reference Manual) Annex H restrictions Array and record assignments and the High-Integrity Profiles Asynchronous Transfer of Control (excluded from Ravenscar Profile) Atomic pragma (permitted in Ravenscar Profile) Attach_Handler pragma Avoiding elaboration code

B

Back-End zero cost exceptions Backend_Divide_Checks (configuration parameter) Backend_Overflow_Checks (configuration parameter) Bare-board configuration

bcopy Binder switches Body_Version attribute (excluded from Zero Footprint profile) Boolean operations on packed arrays (excluded from Zero Footprint Profile)

C

Ceiling_Locking (permitted in Ravenscar Profile) Ceiling_Locking locking policy (permitted in Ravenscar Profile) cert (value for Runtime attribute and --RTS= switch) Cert mode, [1] Cert Profile, [1] Cert profile Cert Profile (included in Ravenscar Cert Profile) Child units (permitted in High-Integrity Profiles) Choosing a Predefined Profile Command_Line_Args (configuration parameter)

Common Criteria Compiler switches conditional operators Configurable run-time Configurable_Run_Time (configuration parameter) (in package System) Configuration pragmas (for tailoring the run time) Constraint_Error Controlled types (excluded from Zero Footprint profile) Conventions Count attribute (permitted in Ravenscar Profile

D

Deactivated code delay statements, [1] Denorm (configuration parameter) Discriminants, [1] Dispatching policy, [1] Distributed Systems Annex (excluded from Zero Footprint profile) DO-178B, [1]

DO-178C Duration_32_Bits (configuration parameter) dynamic (excluded from Ravenscar Profile) Dynamic Allocation Dynamic allocation of protected objects (excluded from Ravenscar profile) Dynamic allocation of tasks (excluded from Ravenscar profile) Dynamic priorities (excluded from Ravenscar Profile)

E

Elaboration code Elaboration routine (generated by gnatbind) Entries, [1] Entry barriers (permitted in Ravenscar Profile Entry queue size limit (in Ravenscar Profile) Example - memcpy function in Ada Exception declaration (permitted under No_Exception_Handlers) Exception propagation (excluded from Zero Footprint Profile)

Exceptions and the High-Integrity Profiles Exceptions and the Last Chance Handler - Cert ProfileCert and Ravenscar Cert Profiles Exceptions and the Last Chance Handler - ZFP and Ravenscar SFP Exit_Status_Supported (configuration parameter) Exponentiation (and configurable run-time) Exponentiation operator (restrictions on usage in Zero Footprint Profile) Extended Ravenscar Profiles External_Tag attribute (excluded from Zero Footprint profile)

F

features excluded by, [1] FIFO_Within_Priority (permitted in Ravenscar Profile) FIFO_Within_Priority dispatching policy (permitted in Ravenscar Profile) for protected objects and types (permitted in Ravenscar Profile for protected types (permitted in Ravenscar Profile) for task types (permitted in Ravenscar Profile) for tasks (excluded from Ravenscar Profile)

Fractional_Fixed_Ops (configuration parameter) Front-End longjmp/setjmp exceptions Frontend_Layout (configuration parameter) Full-Runtime Profile Full-Runtime profile Functions returning unconstrained objects Functions_Return_By_DSP (configuration parameter)

G

Generic templates (permitted in High-Integrity Profiles) GNAT Pro Run-Time Library GNAT Pro Safety-Critical for VxWorks 6 Cert GNAT Pro Safety-Critical for VxWorks Cert 6

gnat.adc file GNAT.IO package (permitted in Zero Footprint profile) GNAT.Source_Info package (permitted in Zero Footprint profile) gnatbind switches

H

High-Integrity Profile program

High-Integrity Profiles, [1], [2]

I

Image attribute (excluded from Zero Footprint profile) implementation-defined (permitted in Ravenscar Profile) Implicit conditionals Implicit loops intConnect routine Interfaces package (permitted in Zero Footprint profile)

Interfaces.C package (permitted in Zero Footprint profile) Interfaces.C.Extensions package (permitted in Zero Footprint profile) Interfaces.Integer_64 type (excluded from Zero Footprint profile) Interfaces.Unsigned_64 type (excluded from Zero Footprint profile) Interrupt handling (in the Ravenscar Profiles) Interrupt_Priority pragma, [1]

L

Last Chance Handler Last_Chance_Handler library-level (permitted in Ravenscar Profile), [1] Library-level protected objects and types (permitted in Ravenscar Profile) Library-level task objects and types (permitted in Ravenscar Profile)

locally-declared (excluded from Ravenscar Profile), [1] Locally-declared protected objects and types (excluded from Ravenscar Profile) Locally-declared task objects and types (excluded from Ravenscar Profile) Locking policy Long_Long_Integer (excluded from Zero Footprint profile)

M

Machine_Overflows (configuration parameter) Machine_Rounds (configuration parameter) Mantissa attribute (excluded from Zero Footprint profile) MC/DC (in DO-178B and DO-178C) memcpy

memLib memmove memNoMoreAllocations Minimal Exception Support 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_Dynamic_Code restrictions identifier

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 Non-tasking Ravenscar Profile (permitted predefined packages)

O

Object-Oriented Programming (and the High-Integrity Profiles) Object-Oriented Programming and the High-Integrity Profiles

OpenVMS (configuration parameter) Optimization issues

P

Packed arrays (restrictions in Zero Footprint Profile). However pragma Atomic (permitted in Ravenscar Profile) pragma Detect_Blocking pragma Discard_Names (automatic in Zero Footprint Profile) (automatic in both Ravenscar Profiles) pragma Locking_Policy pragma Normalize_Scalars pragma Polling pragma Queuing_Policy pragma Restrictions, [1], [2] pragma Restrictions (No_Exception_Registration) (automatic in Zero Footprint Profile) pragma Restrictions (No_Finalization) (automatic in Zero Footprint Profile) pragma Restrictions (No_Implicit_Dynamic_Code) (automatic in Zero Footprint Profile) pragma Restrictions (No_Secondary_Stack)

pragma Restrictions (No_Tasking) (automatic in Zero Footprint Profile) pragma Restrictions(No_Exception_Handlers) (automatic in Ravenscar SFP Profile) pragma Restrictions(No_Exception_Propagation) (automatic in Zero Footprint Profile) pragma Suppress_Exception_Locations pragma Task_Dispatching_Policy pragma Volatile (permitted in Ravenscar Profile) Preallocated_Stacks (configuration parameter) Predefined environment Priorities Profile Program_Error Protected entries (permitted in Ravenscar Profile Protected objects and types, [1] Protected procedures as interrupt handlers (permitted in Ravenscar Profile) Protected type discriminants (permitted in Ravenscar Profile)

R

raise statement (permitted under No_Exception_Handlers) Ravenscar Cert Profile (superset of Cert Profile) Ravenscar mode, [1] Ravenscar Profile Ravenscar Profiles, [1] Ravenscar profiles Ravenscar Profiles (excluded features) (permitted features) Ravenscar SFP Profile (superset of Zero Footprint Profile) ravenscar-cert (value for --RTS= switch) (value for Runtime attribute and --RTS= switch) ravenscar-cert-rtp (value for --RTS= switch) (value for Runtime attribute and --RTS= switch)

ravenscar-sfp (value for --RTS= switch) (value for Runtime attribute and --RTS= switch) Record and array assignments and the High-Integrity Profiles relative (excluded from Ravenscar Profile) Relative delay statements (excluded from Ravenscar Profile) Removal of Deactivated Code requeue statements (excluded from Ravenscar Profile) restrictions on returned by functions Reviewable object code Run_Time_Name (for configurable run time)

S

s-secsta.adb (package body System.Secondary_Stack) s-secsta.ads (package spec System.Secondary_Stack) Secondary Stack Secondary stack (for unconstrained objects returned by functions) Secondary Stack Support select statements (excluded from Ravenscar Profile) Sequential features in Ravenscar Profiles Shared data (permitted accesses in Ravenscar Profile) Signed_Zeros (configuration parameter) Slice assignment and implicit loops and conditionals Stack_Check_Default (configuration parameter)

Stack_Check_Probes (configuration parameter) Storage_Error Support_Aggregates (configuration parameter) Support_Composite_Assign (configuration parameter) Support_Composite_Compare (configuration parameter) Support_Long_Shifts (configuration parameter) Suppress_Standard_Library (configuration parameter) System package (permitted in Zero Footprint profile) System.Address_To_Access_Conversions generic (permitted in Zero Footprint profile) System.Machine_Code package (permitted in Zero Footprint profile) System.Secondary_Stack System.Storage_Elements package (permitted in Zero Footprint profile)

T

Tagged types at library level (permitted in High-Integrity Profiles) Tagged types at nested levels (excluded from High-Integity Profile) Task attribute functions (excluded from Ravenscar Profile) Task attributes Task entries (excluded from Ravenscar Profile) Task objects and types, [1] Task termination (excluded from Ravenscar Profile)

Task type discriminants (permitted in Ravenscar Profile) Tasking (excluded from Zero Footprint Profile) Thread Registration Thread Registration Issues Traceability from Source Code to Object Code Trampolines typographical Typographical conventions

U

Unchecked_Deallocation generic (permitted in Zero Footprint profile) Unconstrained objects

Use_Ada_Main_Program_Name (configuration parameter) user-defined (excluded from Ravenscar Profile) Utility Routines

V

Value attribute (excluded from Zero Footprint profile)

Version attribute (excluded from Zero Footprint profile) Volatile pragma (permitted in Ravenscar Profile)

W

Width attribute (excluded from Zero Footprint profile)

with restrictions), [1], [2], [3], [4]

Z

ZCX_By_Default (configuration parameter) Zero Footprint mode, [1], [2] Zero Footprint Profile, [1], [2], [3] Zero Footprint profile

Zero Footprint Profile (excluded features) (included in Ravenscar SFP Profile) (permitted predefined packages) zfp (value for Runtime attribute and --RTS= switch)