[gcc] GCC 4.5.0=>4.5.1

gcc/gcc/testsuite/gfortran.dg/typebound_call_2.f03

 ! { dg-do run }
 
-! FIXME: Remove -w after polymorphic entities are supported.
-! { dg-options "-w" }
-
 ! Type-bound procedures
 ! Check calls with passed-objects.
 
 MODULE m
   IMPLICIT NONE
 
   TYPE add
     INTEGER :: wrong
     INTEGER :: val
   CONTAINS
     PROCEDURE, PASS :: func => func_add
     PROCEDURE, PASS(me) :: sub => sub_add
   END TYPE add
 
   TYPE trueOrFalse
     LOGICAL :: val
   CONTAINS
     PROCEDURE, PASS :: swap
   END TYPE trueOrFalse
 
 CONTAINS
 
   INTEGER FUNCTION func_add (me, x)
     IMPLICIT NONE
-    TYPE(add) :: me
+    CLASS(add) :: me
     INTEGER :: x
     func_add = me%val + x
   END FUNCTION func_add
 
   SUBROUTINE sub_add (res, me, x)
     IMPLICIT NONE
     INTEGER, INTENT(OUT) :: res
-    TYPE(add), INTENT(IN) :: me
+    CLASS(add), INTENT(IN) :: me
     INTEGER, INTENT(IN) :: x
     res = me%val + x
   END SUBROUTINE sub_add
 
   SUBROUTINE swap (me1, me2)
     IMPLICIT NONE
-    TYPE(trueOrFalse), INTENT(INOUT) :: me1, me2
+    CLASS(trueOrFalse), INTENT(INOUT) :: me1, me2
 
     IF (.NOT. me1%val .OR. me2%val) THEN
       CALL abort ()
     END IF
     
     me1%val = .FALSE.
     me2%val = .TRUE.
   END SUBROUTINE swap
 
   ! Do the testing here, in the same module as the type is.
@@ skipping 28 matching lines @@
   END SUBROUTINE test
 
 END MODULE m
 
 PROGRAM main
   USE m, ONLY: test
   CALL test ()
 END PROGRAM main
 
 ! { dg-final { cleanup-modules "m" } }