[J3] Question regarding valid set of values

[Thomas König]

On 21.05.21 08:17, Malcolm Cohen via J3 wrote:
> I really would prefer the standard to be a lot more specific in this 
> area, but it is far from the top of my list of inadequacies that I’d 
> like to see fixed. If anyone else wants to knock themselves out 
> rigorously defining what is and isn’t allowed, and what the results of 
> intrinsics operations are, go right ahead! I don’t think it is as easy 
> as it looks though, and getting general agreement for a big change of 
> wording with little or no technical effect is likely tough. As they say, 
> “if it ain’t broke...”

There are a few point which might get clarified along the way.
For example, I am currently not sure if

program foo
   integer :: i
   do i=0,huge(i)
   end do
end

is legal or not (as long as the value of i is not subsequently used).