** Copyright (c) 1995, NVIDIA CORPORATION.  All rights reserved.
**
** Licensed under the Apache License, Version 2.0 (the "License");
** you may not use this file except in compliance with the License.
** You may obtain a copy of the License at
**
**     http://www.apache.org/licenses/LICENSE-2.0
**
** Unless required by applicable law or agreed to in writing, software
** distributed under the License is distributed on an "AS IS" BASIS,
** WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
** See the License for the specific language governing permissions and
** limitations under the License.
 
* Vectorizer - invariant expandable array reference bug discovered in
* MOLPRO.  An array reference is replaced by a scalar in the loop and
* the scalar is stored back into the array after the loop; however, there
* exists a conflicting reference to the same array in the loop.
*

	program test
	implicit real (a-h,o-z)
	dimension eta(3,3,2)
	common /parma/ mconu, mrcru
	parameter (NT=4)
	real expect(NT)
	real result(NT)

	mrcru = 3
	mconu = 3
	call fill(eta, 2.0, 18)

	call arinp(eta, 2, 3, 3, 8.0)

	result(1) = eta(1,1,1)
	result(2) = eta(1,2,1)
	result(3) = eta(1,1,2)
	result(4) = eta(1,2,2)
!	print 99, result
!99	format(9f8.1)
	data expect/1,1,1,1/
	call check(result, expect, NT)
	end
	subroutine arinp(eta,ncons,nrcru,nconu,a1)
	implicit real (a-h,o-z)
	common /parma/ mconu, mrcru
	dimension eta(mrcru,mconu,2)
	
cpgi$l novector
	do icons=1,ncons
!+++        +++ eta(1,1,icons) in the do212 loop is discovered to be invariant
!+++        +++    and replaced with the scalar .ndd000 and is initialized
!+++        +++    with:
!+++        +++ .ndd000 = eta(1,1,icons)
	    do 212 ircr=1,nrcru
		if(nconu.ne.1) go to 196
!+++                +++ replace the invariant array ref with .ndd000
!+++                +++ .ndd000 = a1
		    eta(1,1,icons)=a1
		go to 212
196	        continue
		do icon=1,nconu
!+++                +++  conflicting array reference
!+++                +++  !!!!!!!!!!!!!!!!!!!!!!!!!!!
		    eta(ircr,icon,icons)=eta(ircr,icon,icons)/2.0
		enddo
212	    continue
!+++        +++ add store back
!+++        +++ eta(1,1,icons) = .ndd000
	enddo
	end
	subroutine fill(aaa, a, n)
	real aaa(n)
cpgi$l novector
	do i = 1, n
	    aaa(i) = a
	enddo
	end