obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 67 insertions, 0 deletions

diff --git a/gcc/testsuite/gfortran.dg/typebound_operator_2.f03 b/gcc/testsuite/gfortran.dg/typebound_operator_2.f03
new file mode 100644
index 000000000..cae2cdab7
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/typebound_operator_2.f03
@@ -0,0 +1,67 @@
+! { dg-do compile }
+
+! Type-bound procedures
+! Checks for correct errors with invalid OPERATOR/ASSIGNMENT usage.
+
+MODULE m
+  IMPLICIT NONE
+
+  TYPE t
+  CONTAINS
+    PROCEDURE, PASS :: onearg
+    PROCEDURE, PASS :: onearg_alt => onearg
+    PROCEDURE, PASS :: onearg_alt2 => onearg
+    PROCEDURE, NOPASS :: nopassed => onearg
+    PROCEDURE, PASS :: threearg
+    PROCEDURE, PASS :: sub
+    PROCEDURE, PASS :: sub2
+    PROCEDURE, PASS :: func
+
+    ! These give errors at the targets' definitions.
+    GENERIC :: OPERATOR(.AND.) => sub2
+    GENERIC :: OPERATOR(*) => onearg
+    GENERIC :: ASSIGNMENT(=) => func
+
+    GENERIC :: OPERATOR(.UOPA.) => sub ! { dg-error "must be a FUNCTION" }
+    GENERIC :: OPERATOR(.UOPB.) => threearg ! { dg-error "at most, two arguments" }
+    ! We can't check for the 'at least one argument' error, because in this case
+    ! the procedure must be NOPASS and that other error is issued.  But of
+    ! course this should be alright.
+
+    GENERIC :: OPERATOR(.UNARY.) => onearg_alt
+    GENERIC, PRIVATE :: OPERATOR(.UNARY.) => onearg_alt2 ! { dg-error "must have the same access" }
+
+    GENERIC :: OPERATOR(.UNARYPRIME.) => nopassed ! { dg-error "can't be NOPASS" }
+    GENERIC :: OPERATOR(-) => nopassed ! { dg-error "can't be NOPASS" }
+  END TYPE t
+
+CONTAINS
+
+  INTEGER FUNCTION onearg (me) ! { dg-error "wrong number of arguments" }
+    CLASS(t), INTENT(IN) :: me
+    onearg = 5
+  END FUNCTION onearg
+
+  INTEGER FUNCTION threearg (a, b, c)
+    CLASS(t), INTENT(IN) :: a, b, c
+    threearg = 42
+  END FUNCTION threearg
+
+  LOGICAL FUNCTION func (me, b) ! { dg-error "must be a SUBROUTINE" }
+    CLASS(t), INTENT(OUT) :: me
+    CLASS(t), INTENT(IN) :: b
+    func = .TRUE.
+  END FUNCTION func
+
+  SUBROUTINE sub (a)
+    CLASS(t), INTENT(IN) :: a
+  END SUBROUTINE sub
+
+  SUBROUTINE sub2 (a, x) ! { dg-error "must be a FUNCTION" }
+    CLASS(t), INTENT(IN) :: a
+    INTEGER, INTENT(IN) :: x
+  END SUBROUTINE sub2
+
+END MODULE m
+
+! { dg-final { cleanup-modules "m" } }