Present on x86 and x86_64, a priori ACATS code is valid, so no error should occur. The code is quite complicated.
-- Summary: ACATS spurious front-end error c432003.adb:134:21: too few discriminants given in constraint Product: gcc Version: 4.0.0 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: laurent at guerby dot net CC: gcc-bugs at gcc dot gnu dot org,laurent at guerby dot net http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18660