Good catch with the standardese around array dimensions that have nonzero extents where the LBOUND result will be based on the lower bound of the array. However, a zero-sized array will have one or more dimensions with zero extents and the LBOUND along those dimensions will be 1:
So please see above where an attempt is made to address the charge of misinformation. Perhaps you will run this by the compiler engineer and see if the correction is still misinformation, or if the standard still has more nuances and complications to offer here.