http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53795
Bug #: 53795
Summary: [4.8 Regression] FAIL: gnat.dg/old_errors.adb
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: domi...@lps.ens.fr
CC: char...@gcc.gnu.org
Host: x86_64-apple-darwin10
Target: x86_64-apple-darwin10
Build: x86_64-apple-darwin10
On x86_64-apple-darwin10, gnat.dg/old_errors.adb has started to fail between
revisions 188991 (OK) and 189025 (likely r188995):
Executing on host: /opt/gcc/build_w/gcc/gnatclean -c -q -n old_errors
(timeout = 300)
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)
Excess errors:
old_errors.adb:7:22: "Old" attribute can only appear in postcondition
old_errors.adb:16:25: "Old" attribute can only appear in postcondition
old_errors.adb:22:34: "Old" attribute can only appear in postcondition
old_errors.adb:28:12: "Old" attribute can only appear in postcondition
old_errors.adb:34:19: "Old" attribute can only appear in postcondition
old_errors.adb:35:19: "Old" attribute can only appear in postcondition
old_errors.adb:38:15: "Old" attribute can only appear in postcondition
old_errors.adb:40:12: "Old" attribute can only appear in postcondition
old_errors.adb:41:12: "Old" attribute can only appear in postcondition
old_errors.adb:42:12: "Old" attribute can only appear in postcondition
old_errors.adb:44:22: "Old" attribute can only appear in postcondition
