AdaCore - The GNAT Pro Company

GNAT Pro 6.1 InSight webinar archive

AdaCore — Mon, 12 May 2008 14:56:57 +0000

The recently held GNAT Pro InSight webinar featuring GNAT Pro 6.1 is now available for viewing at:

www.adacore.com/home/gnatpro/webinars

[GNAT] New gnatcheck rule for exceptions

AdaCore — Mon, 28 Apr 2008 12:00:00 +0000

A new rule (Separate_Numeric_Error_Handlers) is added to gnatcheck. This rule checks if the predefined Numeric_Error and Constraint_Error are always used together as exception choices of the same exception handler. This check is used to ensure that exception handling will behave the same in Ada 83 and in Ada 95 modes.

[GNAT] gnatlink “–GCC=gcc -xxx”

AdaCore — Thu, 24 Apr 2008 12:00:00 +0000

When gnatlink is invoked with –GCC= with an executable that is the same as the default one (gcc or <prefix>-gcc) and additional options, the back end switches from the ALI file are also used to compile the binder generated sources.

[GNAT] Wider access to GCC builtins from Ada

AdaCore — Thu, 24 Apr 2008 12:00:00 +0000

Raw access to most of the GCC builtin functions is now possible thanks to Intrinsic import pragmas, allowing for instance access to very low level information like the current call frame return address or inline expansion of common math routines.

[GNAT] New attribute Excluded_Source_List_File

AdaCore — Wed, 23 Apr 2008 12:00:00 +0000

A new attribute Excluded_Source_List_File is added to the Project Manager. Its value is a single string that designates a text file that contains the list of simple file names that should not be considered as sources of the project.

[GNAT] Warning on redundant slices

AdaCore — Sun, 20 Apr 2008 12:00:00 +0000

If a one-dimensional constant array object A is declared with an index subtype S, then the slice A (S) is flagged as redundant to indicate that the construct could be optimized simply to A.

[GNAT] gnatname: different patterns for different dirs

AdaCore — Sun, 20 Apr 2008 12:00:00 +0000

gnatname may now be invoked so that different patterns apply to different directories, using a new switch –and to separate sections of directories/patterns. Example: gnatname -d src1 "*.ada" –and -d src2 "*.spec" ".body"

[GNAT] Direct visibility on variables in ancestors

AdaCore — Thu, 17 Apr 2008 12:00:00 +0000

In a child project, there is now direct visibility on project level variables and string types in the ancestor of the project. For example, in project Parent.Child any variable and string type in project Parent is directly visible.

[GNAT] Higher alignment for composite stand-alone objects

AdaCore — Wed, 16 Apr 2008 12:00:00 +0000

The compiler now chooses a higher alignment than that of their type for composite stand-alone objects if this will result in better performances. This can be disabled by means of pragma Optimize_Alignment (Space).

[GPRBUILD] New attributes Object_Generated and Objects_Linked

AdaCore — Wed, 16 Apr 2008 12:00:00 +0000

New attributes for languages are created: Object_Generated (when "false", it means that no object file is created by the "compiler") and Objects_Linked (when "false", it means that the object files of the languages are not linked in an executable or put in a library).