GNAT Pro User's Guide Supplement for High-Integrity Edition Platforms

GNAT Pro User's Guide
Supplement for High-Integrity Edition Platforms

The GNAT Pro Ada Compiler
GNAT Pro Version 7.2.0w
Document revision level 292651
Date: 2013/05/14

AdaCore

(C) Copyright 1998-2012, AdaCore

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being "GNU Free Documentation License", with the Front-Cover Texts being "GNAT Pro User's Guide Supplement for High-Integrity Edition Platforms", and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

About This Guide
1. The High Integrity Philosophy
2. Using GNAT Pro Features Relevant to High-Integrity
3. The Predefined Profiles
4. The GNAT Configurable Run Time Facility
A. GNU Free Documentation License
Index

 -- The Detailed Node Listing --- About This Guide

What This Guide Contains
What You Should Know Before Reading This Guide
Related Information
Conventions

The High Integrity Philosophy Using GNAT Pro Features Relevant to High-Integrity Mode

2.1 Exceptions and the High-Integrity Profiles
2.2 Allocators and the High-Integrity Profiles
2.3 Array and Record Assignments and the High-Integrity Profiles
2.4 Object-Oriented Programming and the High-Integrity Profiles
2.5 Functions Returning Unconstrained Objects
2.6 Controlling Implicit Conditionals and Loops
2.7 Controlling Use of Conditional Operators
2.8 Avoiding Elaboration Code
2.9 Removal of Deactivated Code
2.10 Traceability from Source Code to Object Code
2.11 Optimization issues
2.12 Other useful features
2.13 Compilation options for the GNAT Pro High-Integrity Tool Chain

The Predefined Profiles

3.1 Choosing a Predefined Profile
3.2 The Zero Footprint Profile
3.3 The Cert Profile
3.4 The Ravenscar Profiles

The GNAT Configurable Run Time Facility

4.1 Standard Run-Time Mode
4.2 The Configurable Run Time
4.3 Run-Time Libraries and Objects
4.4 How Object Dependencies are Generated
4.5 How The Run Time Library Is Configured
4.6 Naming the Run-Time Library
4.7 Configuring a Special Purpose Library