From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3252 invoked by alias); 17 Feb 2009 20:58:45 -0000 Received: (qmail 3216 invoked by uid 48); 17 Feb 2009 20:58:31 -0000 Date: Tue, 17 Feb 2009 20:58:00 -0000 Subject: [Bug ada/39221] New: Wrong code in gcc/ada/a-teioed.adb causing FAIL of ACATS cxf3a01 on mipsel and ia64 X-Bugzilla-Reason: CC Message-ID: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "laurent at guerby dot net" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2009-02/txt/msg01521.txt.bz2 ACATS cxf3a01 fails on mipsel-linux where it is the only ACATS test to fail: ,.,. CXF3A01 ACATS 2.5 09-02-17 22:07:04 ---- CXF3A01 Check that the Valid function from package Ada.Text_IO.Editing returns False for strings that fail to comply with the composition constraints defined for picture strings. Check that the Valid function returns True for strings that conform to the composition constraints defined for picture strings. * CXF3A01 Incorrect result from Function Valid using Invalid_String = 99999999999999999999999999999999999999999999999999999999 999999999. **** CXF3A01 FAILED ****************************. http://gcc.gnu.org/ml/gcc-testresults/2009-02/msg01635.html After investigation it looks like the code of Expand is wrong when Picture'Length > MAX_PICSIZE since in this case memory after Result will be overwritten (on all platform, but with effect FAIL on mipsel and ia64-linux). Two obvious solutions: use Unsupress locally since there's already a others handler or add explicit length checks. -- Summary: Wrong code in gcc/ada/a-teioed.adb causing FAIL of ACATS cxf3a01 on mipsel and ia64 Product: gcc Version: 4.4.0 Status: UNCONFIRMED Keywords: wrong-code Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: laurent at guerby dot net http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39221