> 2012-06-26 Yannick Moy <m...@adacore.com> > > * 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
