> > * 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
