This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Is Ada 2005 Issue AI-0157 implemented correctly in GCC 4.6.0?
- From: John Marino <gnugcc at marino dot st>
- To: gcc at gcc dot gnu dot org
- Date: Thu, 28 Oct 2010 15:37:25 +0200
- Subject: Is Ada 2005 Issue AI-0157 implemented correctly in GCC 4.6.0?
This Ada 2012 amendment titled "Calling Unchecked Deallocation is
illegal for zero-sized pools" has been implemented in GCC 4.6.0 recently
(ada/sem_intr.adb). However, the restriction is enforced even when
-gnat2005 (or -gnat95) switched are explicitly passed to gcc.
Shouldn't this check only be enforced with the -gnat2012 switch?
I discovered this trying to build Adacore's gprbuild_gpl_2010 package.
The build fails with GCC 4.6.0 with the message "sinput.adb:808:19:
deallocation from empty storage pool"
The -gnat05 switch is explicitly used in the gpr settings, so I would
expect AI-0157 to not be in effect.
Am I wrong?
Regards,
John