This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/53795] New: [4.8 Regression] FAIL: gnat.dg/old_errors.adb
- From: "dominiq at lps dot ens.fr" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 28 Jun 2012 10:08:18 +0000
- Subject: [Bug ada/53795] New: [4.8 Regression] FAIL: gnat.dg/old_errors.adb
- Auto-submitted: auto-generated
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: unassigned@gcc.gnu.org
ReportedBy: dominiq@lps.ens.fr
CC: charlet@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