--- /dev/null
+! { dg-do compile }
+! PR 96386 - this used to cause an ICE.
+! Test case by Menno Deij - van Rijswijk.
+
+MODULE assoc
+
+TYPE Level3
+ INTEGER :: someNumber
+END TYPE Level3
+
+TYPE Level2
+ INTEGER :: nLevel3
+ TYPE (Level3), ALLOCATABLE :: levels3(:)
+
+END TYPE Level2
+
+TYPE Level1
+ INTEGER :: nLevel2
+ TYPE (Level2), ALLOCATABLE :: levels2(:)
+END TYPE Level1
+
+TYPE outer_type
+ INTEGER :: nLevel1
+ TYPE (Level1), ALLOCATABLE :: levels1(:)
+END TYPE outer_type
+
+TYPE(outer_type), TARGET :: outer
+
+CONTAINS
+
+SUBROUTINE internal_compiler_error_repro()
+
+INTEGER F,B,Z
+
+ASSOCIATE(l1 => outer%levels1 ) ! <-- this gives an ICE
+!ASSOCIATE(l1 => outer%levels1(:) ) ! <-- No ICE if array spec is added
+ DO F=1,outer%nLevel1
+ ASSOCIATE(l2 => l1(F)%levels2 )
+ DO B=1,l2(F)%nLevel3 ! <-- condition for ICE to be triggered
+
+ END DO
+ END ASSOCIATE
+ END DO
+END ASSOCIATE
+
+END SUBROUTINE internal_compiler_error_repro
+end module