[gfortran] PATCH Fix PR 20058

[Steve Kargl]

See the comment int primary.c for an explanation of what the
patch does.

2005-02-21  Steven G. Kargl  <kargls@comcast.net>

	* trans-type.c (gfc_max_integer_kind): New variable.
	  (gfc_init_kinds): Initialize it.
	* gfortran.h (gfc_max_integer_kind): extern declaration
	* primary.c (match_boz_constant): Use it.

	* testsuite/gfortran.dg/boz_1.f90: Test BOZ constant
	* testsuite/gfortran.dg/boz_2.f90: Test gfortran kind suffix extension
	* testsuite/gfortran.dg/boz_3.f90: Test conversion bewteen kinds
	* testsuite/gfortran.dg/boz_4.f90: Test overflow errors

--
Steve
-------------- next part --------------
! { dg-do run }
! Test the boz handling
program boz

   implicit none

   integer(1), parameter :: b1 = b'00000001'
   integer(2), parameter :: b2 = b'0101010110101010'
   integer(4), parameter :: b4 = b'01110000111100001111000011110000'
   integer(8), parameter :: &
   &  b8 = b'0111000011110000111100001111000011110000111100001111000011110000'

   integer(1), parameter :: o1 = o'12'
   integer(2), parameter :: o2 = o'4321'
   integer(4), parameter :: o4 = o'43210765'
   integer(8), parameter :: o8 = o'1234567076543210'

   integer(1), parameter :: z1 = z'a'
   integer(2), parameter :: z2 = z'ab'
   integer(4), parameter :: z4 = z'dead'
   integer(8), parameter :: z8 = z'deadbeef'

   if (z1 /= 10_1) call abort
   if (z2 /= 171_2) call abort
   if (z4 /= 57005_4) call abort
   if (z8 /= 3735928559_8) call abort

   if (b1 /= 1_1) call abort
   if (b2 /= 21930_2) call abort
   if (b4 /= 1894838512_4) call abort
   if (b8 /= 8138269444283625712_8) call abort

   if (o1 /= 10_1) call abort
   if (o2 /= 2257_2) call abort
   if (o4 /= 9245173_4) call abort
   if (o8 /= 45954958542472_8) call abort

end program boz
-------------- next part --------------
! { dg-do run }
! Test the gfortran extension that a KIND suffix can be attached to
! BOZ constant. 
program boz

   implicit none

   integer(1), parameter :: &
   & b1 = b'00000001'_1        ! { dg-warning "suffix to boz literal" }
   integer(2), parameter :: &
   & b2 = b'0101010110101010'_2 ! { dg-warning "suffix to boz literal" }
   integer(4), parameter :: &
   & b4 = b'01110000111100001111000011110000'_4 ! { dg-warning "suffix to boz literal" }
   integer(8), parameter :: &
   & b8 = b'0111000011110000111100001111000011110000111100001111000011110000'_8 ! { dg-warning "suffix to boz literal" }

   integer(1), parameter :: &
   & o1 = o'12'_1 ! { dg-warning "suffix to boz literal" }
   integer(2), parameter :: &
   & o2 = o'4321'_2 ! { dg-warning "suffix to boz literal" }
   integer(4), parameter :: &
   & o4 = o'43210765'_4 ! { dg-warning "suffix to boz literal" }
   integer(8), parameter :: &
   & o8 = o'1234567076543210'_8 ! { dg-warning "suffix to boz literal" }

   integer(1), parameter :: &
   & z1 = z'a'_1 ! { dg-warning "suffix to boz literal" }
   integer(2), parameter :: &
   & z2 = z'ab'_2 ! { dg-warning "suffix to boz literal" }
   integer(4), parameter :: &
   & z4 = z'dead'_4 ! { dg-warning "suffix to boz literal" }
   integer(8), parameter :: &
   & z8 = z'deadbeef'_8 ! { dg-warning "suffix to boz literal" }

   if (z1 /= 10_1) call abort
   if (z2 /= 171_2) call abort
   if (z4 /= 57005_4) call abort
   if (z8 /= 3735928559_8) call abort

   if (b1 /= 1_1) call abort
   if (b2 /= 21930_2) call abort
   if (b4 /= 1894838512_4) call abort
   if (b8 /= 8138269444283625712_8) call abort

   if (o1 /= 10_1) call abort
   if (o2 /= 2257_2) call abort
   if (o4 /= 9245173_4) call abort
   if (o8 /= 45954958542472_8) call abort

end program boz
-------------- next part --------------
! { dg-do run }
! Test that the BOZ constant on the RHS, which are of different KIND than
! the LHS, are correctly converted.
!
program boz

   implicit none

   integer(1), parameter :: b1 = b'000000000001111'
   integer(2), parameter :: b2 = b'00000000000000000111000011110000'
   integer(4), parameter :: &
   &  b4 = b'0000000000000000000000000000000001110000111100001111000011110000'

   integer(1), parameter :: o1 = o'0012'
   integer(2), parameter :: o2 = o'0004321'
   integer(4), parameter :: o4 = o'0000000043210765'

   integer(1), parameter :: z1 = z'0a'
   integer(2), parameter :: z2 = z'00ab'
   integer(4), parameter :: z4 = z'0000dead'

   if (b1 /= 15_1) call abort
   if (b2 /= 28912_2) call abort
   if (b4 /= 1894838512_4) call abort

   if (o1 /= 10_1) call abort
   if (o2 /= 2257_2) call abort
   if (o4 /= 9245173_4) call abort

   if (z1 /= 10_1) call abort
   if (z2 /= 171_2) call abort
   if (z4 /= 57005_4) call abort

end program boz
-------------- next part --------------
! { dg-do compile }
! Test that the conversion of a BOZ constant that is too large for the
! integer variable is caught by the compiler.
program boz

   implicit none

   integer(1), parameter :: &
   &  b1 = b'0101010110101010'  ! { dg-error "overflow converting" }
   integer(2), parameter :: &
   &  b2 = b'01110000111100001111000011110000'  ! { dg-error "overflow converting" }
   integer(4), parameter :: &
   &  b4 = b'0111000011110000111100001111000011110000111100001111000011110000'  ! { dg-error "overflow converting" }

   integer(1), parameter :: &
   &  o1 = o'1234567076543210'  ! { dg-error "overflow converting" }
   integer(2), parameter :: &
   &  o2 = o'1234567076543210'  ! { dg-error "overflow converting" }
   integer(4), parameter :: &
   &  o4 = o'1234567076543210'  ! { dg-error "overflow converting" }

   integer(1), parameter :: &
   &  z1 = z'deadbeef'  ! { dg-error "overflow converting" }
   integer(2), parameter :: &
   &  z2 = z'deadbeef'  ! { dg-error "overflow converting" }
   integer(4), parameter :: &
   &  z4 = z'deadbeeffeed'  ! { dg-error "overflow converting" }

end program boz