AdaCore Labs

GNAT Pro 7.1 preview

The next major version of GNAT Pro (7.1.1) will be release in Q1 2013. It provides new language features, introduces new tools and new versions of existing tools, incorporates a range of improvements (many based on user suggestions), and adds several new platforms.

Some of the key enhancements:

New Language Features

  • Final touches on Ada 2012 support
  • Automatic Endianness conversion (‘Scalar_Storage_Order)
  • Dimensionality checking (new aspects and packages)


  • Extended overflow check support
  • Lock free protected objects

GPRbuild 2.0

  • Encapsulated libraries
  • Support for aggregate and aggregate library projects

New tool: GPRinstall

This tool takes advantage of the project file syntax enhancements that enable users to describe how the software system should be deployed once built. It allows the user to move the newly built system into the location where it will be used and generate the necessary project files, reducing the need for ad hoc scripts and makefiles normally used to accomplish this task.

Switch to GCC 4.7 back-end

  • Support for new chips (e.g. intel core i3/5/7, AVX)
  • Improved auto-vectorization
  • Partial support for new C and C++ standards
  • Many optimization improvements, including LTO
  • Reduced debug info size

New version of the GDB debugger (7.5)

  • Breakpoints on inlined functions
  • Improved Python scripting capabilities
  • Conditional breakpoint on exceptions
  • Catching shared libraries load/unload

New GNATcheck rules

Created on Dec 20th, 2012.  Updated on Dec 20th, 2012.

Cyrille Comar

Cyrille Comar is co-founder and Managing Director of AdaCore Europe. He has been involved with Ada for well over a decade. Having received his PhD degree in Computer Sciences in 1986, Dr. Comar joined the GNAT project at New York University in 1993. One of the key architects of GNAT, Cyrille has notably led the implementation of the Ada 95 object-oriented features and the GNAT library model. He was also a key architect of the Ada 95 gcc frontend. Cyrille has published many papers on the Ada language and GNAT technology.

Leave a Comment

Commenting is not available in this channel entry.