On 8/18/2011 5:33 AM, Arnaud Charlet wrote:
2011-08-05 Ed Schonberg
* exp_ch4.adb (Expand_N_Type_Conversion): When expanding a
predicate
check, indicate that the copy of the original node does not come from
source, to prevent an infinite recursion of the expansio
> > 2011-08-05 Ed Schonberg
> >
> > * exp_ch4.adb (Expand_N_Type_Conversion): When expanding a
> > predicate
> > check, indicate that the copy of the original node does not come from
> > source, to prevent an infinite recursion of the expansion.
>
> For ChangeLog entries we usu
On Fri, 5 Aug 2011, Arnaud Charlet wrote:
> 2011-08-05 Ed Schonberg
>
> * exp_ch4.adb (Expand_N_Type_Conversion): When expanding a predicate
> check, indicate that the copy of the original node does not come from
> source, to prevent an infinite recursion of the expansion.
Fo
This patch fixes an infinite recursion in the application of predicate checks
to type conversions.
The following must compile quietly:
gcc -c -gnat12 ./why-conversions.ads
---
with Why.Ids; use Why.Ids;
package Why.Conversions is
function "+"
(Id : W_Unused_At_Start_OId)
return