Re: [Ada] Expansion of Ada2012 predicate checks for type conversions

2011-08-18 Thread Robert Dewar
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

Re: [Ada] Expansion of Ada2012 predicate checks for type conversions

2011-08-18 Thread Arnaud Charlet
> > 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

Re: [Ada] Expansion of Ada2012 predicate checks for type conversions

2011-08-18 Thread Gerald Pfeifer
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