Re: [Ada] Attribute 'Old should only be used in postconditions

[Arnaud Charlet]

> > Probably suppress both, since they no longer make sense (they are testing
> > an early implementation of 'Old, before 'Old was standardized in Ada
> > 2012).
> >
> > I'll take care of it.
> 
> Thanks!

Sure, done for the record (revision 189042).

Re: [Ada] Attribute 'Old should only be used in postconditions

[Eric Botcazou]

> Probably suppress both, since they no longer make sense (they are testing
> an early implementation of 'Old, before 'Old was standardized in Ada 2012).
>
> I'll take care of it.

Thanks!

-- 
Eric Botcazou

Re: [Ada] Attribute 'Old should only be used in postconditions

[Arnaud Charlet]

> > * sem_attr.adb (Analyze_Attribute): Detect if 'Old is used outside a
> > postcondition, and issue an error in such a case.
> 
> This has introduced the following failures in the gnat.dg testsuite:
> 
> FAIL: gnat.dg/deep_old.adb (test for excess errors)
> FAIL: gnat.dg/old_errors.adb  (test for errors, line 7)
> FAIL: gnat.dg/old_errors.adb  (test for errors, line 16)
> FAIL: gnat.dg/old_errors.adb  (test for errors, line 28)
> FAIL: gnat.dg/old_errors.adb  (test for errors, line 34)
> FAIL: gnat.dg/old_errors.adb  (test for errors, line 38)
> FAIL: gnat.dg/old_errors.adb  (test for warnings, line 40)
> FAIL: gnat.dg/old_errors.adb  (test for errors, line 44)
> FAIL: gnat.dg/old_errors.adb (test for excess errors)
> 
> What should we do about them?

Probably suppress both, since they no longer make sense (they are testing
an early implementation of 'Old, before 'Old was standardized in Ada 2012).

I'll take care of it.

Arno

Re: [Ada] Attribute 'Old should only be used in postconditions

[Eric Botcazou]

> 2012-06-26  Yannick Moy  
>
>   * sem_attr.adb (Analyze_Attribute): Detect if 'Old is used outside a
>   postcondition, and issue an error in such a case.

This has introduced the following failures in the gnat.dg testsuite:

FAIL: gnat.dg/deep_old.adb (test for excess errors)
FAIL: gnat.dg/old_errors.adb  (test for errors, line 7)
FAIL: gnat.dg/old_errors.adb  (test for errors, line 16)
FAIL: gnat.dg/old_errors.adb  (test for errors, line 28)
FAIL: gnat.dg/old_errors.adb  (test for errors, line 34)
FAIL: gnat.dg/old_errors.adb  (test for errors, line 38)
FAIL: gnat.dg/old_errors.adb  (test for warnings, line 40)
FAIL: gnat.dg/old_errors.adb  (test for errors, line 44)
FAIL: gnat.dg/old_errors.adb (test for excess errors)

What should we do about them?

-- 
Eric Botcazou