AdaCore - The GNAT Pro Company » GNAT Compilation System

[GNAT] Linker map now contains size of discarded sections

AdaCore — Thu, 25 Jun 2009 12:00:00 +0000

The size of each discarded section is now printed in the linker map. This concerns only platforms where AdaCore provides a linker (GNU/Linux x86 and x86-64, Windows and ppc-elf platforms).

[GNAT] More straight-line code generated for arrays

AdaCore — Tue, 23 Jun 2009 12:00:00 +0000

The compiler now generates more straight-line code for the manipulation of arrays with dynamic bounds when it can infer properties for these bounds.

[GNAT] Implement -gnateS switch for output of SCOs

AdaCore — Sun, 21 Jun 2009 12:00:00 +0000

A new switch for the compiler -gnateS causes the compiler to output SCO (source coverage obligation) information to the ALI file. This information is used by advanced coverage tools now being implemented. For details of the format of SCO information, see the compiler unit SCOs (scos.adb/ads).

[GNAT] Revised warnings for certain unreferenced entities

AdaCore — Wed, 17 Jun 2009 12:00:00 +0000

The warning messages issued for unreferenced packages, exceptions, labels, and formal objects now explicitly mention the form of entity (for example, "warning: package "My_Pkg" is not referenced"). This allows selective warning suppression for these specific entity kinds using pragma Warnings with a message pattern (pragma Warnings (Off, "package*is not referenced")).

[GNAT] New pretty printer switch to control label layout

AdaCore — Mon, 15 Jun 2009 12:00:00 +0000

A new switch –separate-label for gnatpp specifies that statement label(s) and the statement itself should be placed on separate lines.

GNAT User’s Guide Supplement for the .NET Platform

AdaCore — Wed, 03 Jun 2009 15:02:04 +0000

This guide describes the features and the use of GNAT, the Ada development environment for the .NET platform. This guide also explains how to use the .NET API from Ada and how to interface Ada and the .NET framework.

Browse on-line

GNAT User’s Guide Supplement for the JVM Platform

AdaCore — Wed, 03 Jun 2009 15:00:02 +0000

This guide describes the features and the use of GNAT for the JVM, the Ada development environment for the Java platform. This guide also explains how to use the Java API from Ada and how to interface Ada and the Java programming language.

Browse on-line

[GNAT] New style switch -gnatyB for Boolean operator usage

AdaCore — Wed, 03 Jun 2009 12:00:00 +0000

A new style switch -gnatyB activates the standard gnat style rule that applies to use of AND/OR. These operators are only allowed for modular operands, array operands, and simple stand-alone boolean variables or boolean constants. In all other cases AND THEN/OR ELSE are required.

[GNAT] Call graph information for high integrity run times

AdaCore — Sat, 30 May 2009 12:00:00 +0000

High integrity run-time libraries are now built to generate the .ci files needed by GNATStack for static stack size analysis.

[GNAT] More flexible tagged type component placement

AdaCore — Mon, 25 May 2009 12:00:00 +0000

If a tagged type extends a parent type all of whose components have been placed using a record representation clause (or clauses for the nested case), then compoments of this type may be placed anywhere that does not overlap any compoment of the parent type. In particular, they can be positioned immediately following the last component of the parent type in all cases, or even within "gaps" in the parent type.