[Bug ada/39221] New: Wrong code in gcc/ada/a-teioed.adb causing FAIL of ACATS cxf3a01 on mipsel and ia64

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

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