diff --git a/gcc/testsuite/gfortran.dg/interface_assignment_1.f90 b/gcc/testsuite/gfortran.dg/interface_assignment_1.f90
new file mode 100644
index 000000000000..6740ba14003b
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/interface_assignment_1.f90
@@ -0,0 +1,39 @@
+! { dg-do run }
+! Checks the fix for PR31205, in which temporaries were not
+! written for the interface assignment and the parentheses below.
+!
+! Contributed by Joost VandeVondele <jv244@cam.ac.uk>
+!
+MODULE TT
+ TYPE data_type
+   INTEGER :: I=2
+ END TYPE data_type
+ INTERFACE ASSIGNMENT (=)
+   MODULE PROCEDURE set
+ END INTERFACE
+CONTAINS
+  PURE SUBROUTINE set(x1,x2)
+    TYPE(data_type), INTENT(IN) :: x2
+    TYPE(data_type), INTENT(OUT) :: x1
+    CALL S1(x1,x2)
+  END SUBROUTINE
+  PURE SUBROUTINE S1(x1,x2)
+    TYPE(data_type), INTENT(IN) :: x2
+    TYPE(data_type), INTENT(OUT) :: x1
+    x1%i=x2%i
+  END SUBROUTINE
+END MODULE
+
+USE TT
+TYPE(data_type) :: D,E
+
+D%I=4
+D=D
+
+E%I=4
+CALL set(E,(E))
+
+IF (D%I.NE.4) call abort ()
+IF (4.NE.E%I) call abort ()
+END
+! { dg-final { cleanup-modules "TT" } }
diff --git a/gcc/testsuite/gfortran.dg/interface_assignment_2.f90 b/gcc/testsuite/gfortran.dg/interface_assignment_2.f90
new file mode 100644
index 000000000000..8d7484b31bf6
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/interface_assignment_2.f90
@@ -0,0 +1,49 @@
+! { dg-do run }
+! Checks the fix for PR32842, in which the interface assignment
+! below caused a segfault.  This testcase is reduced from vst_2.f95
+! in the iso_varying_string testsuite, from Lawrie Schonfelder
+!
+! Contributed by Tobias Burnus <burnus@gcc.gnu.org>
+!
+module iso_varying_string
+  implicit none
+  integer, parameter :: GET_BUFFER_LEN = 256
+  type varying_string
+     character(LEN=1), dimension(:), allocatable :: chars
+  end type varying_string
+  interface assignment(=)
+     module procedure op_assign_VS_CH
+  end interface assignment(=)
+contains
+  elemental subroutine op_assign_VS_CH (var, expr)
+    type(varying_string), intent(out) :: var
+    character(LEN=*), intent(in)      :: expr
+    var = var_str(expr)
+  end subroutine op_assign_VS_CH
+  elemental function var_str (chr) result (string)
+    character(LEN=*), intent(in) :: chr
+    type(varying_string)         :: string
+    integer                      :: length
+    integer                      :: i_char
+    length = LEN(chr)
+    ALLOCATE(string%chars(length))
+    forall(i_char = 1:length)
+       string%chars(i_char) = chr(i_char:i_char)
+    end forall
+  end function var_str
+end module iso_varying_string
+
+PROGRAM VST_2
+  USE ISO_VARYING_STRING
+  IMPLICIT NONE
+  CHARACTER(LEN=5)     :: char_arb(2)
+  CHARACTER(LEN=1)     :: char_elm(10)
+  equivalence (char_arb, char_elm)
+  type(VARYING_STRING) :: str_ara(2)
+  char_arb(1)= "Hello"
+  char_arb(2)= "World"
+  str_ara = char_arb
+  if (any (str_ara(1)%chars(1:5) .ne. char_elm(1:5))) call abort
+  if (any (str_ara(2)%chars(1:5) .ne. char_elm(6:10))) call abort
+END PROGRAM VST_2
+! { dg-final { cleanup-modules "iso_varying_string" } }