[Bug ada/54614] New: Vector * Matrix -> Vector gives wrong result

[simon at pushface dot org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54614

             Bug #: 54614
           Summary: Vector * Matrix -> Vector gives wrong result
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: simon@pushface.org


Created attachment 28212
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28212
Reproducer

At GCC 4.7.0 (and in SVN r191415)
System.Generic_Array_Operations.Vector_Matrix_Product returns the wrong result.

The attached code should output

** V*M :   3010.0  4020.0

but in fact outputs

** V*M :     40.0  6000.0

I've also attached a patch for GCC 4.7.0.