https://github.com/jeanPerier approved this pull request. Please wait for @vzakhari opinion, but since arithmetic overflow in address computation is not a feature in Fortran, this sounds reasonable to me. https://github.com/llvm/llvm-project/pull/74709