Re: Is Ada 2005 Issue AI-0157 implemented correctly in GCC 4.6.0?

2010-10-28 Thread Arnaud Charlet
> To be clear, it's code maintained by Adacore that has run afoul of the > change. I don't believe gprbuild is part of Adacore's public repository, > so I'm not quite sure how I'm supposed to obtain a version of gprbuild that > will compile with GCC 4.6.0. This version was released with GNAT GPL

Re: Is Ada 2005 Issue AI-0157 implemented correctly in GCC 4.6.0?

2010-10-28 Thread John Marino
Thanks for the explanation, Robert. To be clear, it's code maintained by Adacore that has run afoul of the change. I don't believe gprbuild is part of Adacore's public repository, so I'm not quite sure how I'm supposed to obtain a version of gprbuild that will compile with GCC 4.6.0. This v

Re: Is Ada 2005 Issue AI-0157 implemented correctly in GCC 4.6.0?

2010-10-28 Thread Robert Dewar
On 10/28/2010 9:37 AM, John Marino wrote: 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 explicitl

Is Ada 2005 Issue AI-0157 implemented correctly in GCC 4.6.0?

2010-10-28 Thread John Marino
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 onl