<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/133646>133646</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [flang] The function result `res(max(n, 0))` has distinct extents when split across a module and its submodule
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            flang
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          osada-yum
      </td>
    </tr>
</table>

<pre>
    ## Description
Flang 20.1.1 cannot compile files that define a function returning `res(max(n, 0))` in a module/submodule split, but it does compile successfully if the function and its implementation are placed in a single file.
```bash
$ flang -c bug_sub.f90 bug.f90
error: Semantic errors in bug_sub.f90
./bug_sub.f90:4:24: error: Result of function 'f1' is not compatible with the result of the corresponding interface body: function results have distinct extents (max(0_8,int(max(n,0_4),kind=8)) vs max(0_8,int(max(n,0_4),kind=8)))
    pure module function f1(n) result(res)
                         ^^
./test_m.mod:4:22: Declaration of 'f1'
  module pure function f1(n) result(res)
 ^^
./bug_sub.f90:9:24: error: Result of function 'f2' is not compatible with the result of the corresponding interface body: function results have distinct extents (max(0_8,int(min(n,0_4),kind=8)) vs max(0_8,int(min(n,0_4),kind=8)))
    pure module function f2(n) result(res)
                         ^^
./test_m.mod:10:22: Declaration of 'f2'
  module pure function f2(n) result(res)
                       ^^
$ flang -c bug_in_one.f90
(Compilation success)
```
### bug.f90
```bug.f90
module test_m
  implicit none
  private
  public :: f1, f2
  interface f1
     pure module function f1(n) result(res)
 integer, intent(in) :: n
       integer :: res(max(n, 0))
     end function f1
  end interface f1
  interface f2
     pure module function f2(n) result(res)
       integer, intent(in) :: n
       integer :: res(min(n, 0))
     end function f2
  end interface f2
end module test_m
```

### bug_sub.f90
```bug_sub.f90
submodule (test_m) test_sub_m
  implicit none
contains
  pure module function f1(n) result(res)
    integer, intent(in) :: n
    integer :: res(max(n, 0))
    res(:) = 0
  end function f1
  pure module function f2(n) result(res)
    integer, intent(in) :: n
    integer :: res(min(n, 0))
    res(:) = 0
  end function f2
end submodule test_sub_m
```
### bug_in_one.f90
```bug_in_one.f90
module test_in_one_m
  implicit none
 private
  public :: f1, f2
  interface f1
     pure module function f1(n) result(res)
       integer, intent(in) :: n
       integer :: res(max(n, 0))
     end function f1
  end interface f1
  interface f2
     pure module function f2(n) result(res)
       integer, intent(in) :: n
 integer :: res(min(n, 0))
     end function f2
  end interface f2
end module test_in_one_m

submodule (test_in_one_m) test_in_one_sub_m
 implicit none
contains
  pure module function f1(n) result(res)
 integer, intent(in) :: n
    integer :: res(max(n, 0))
    res(:) = 0
 end function f1
  pure module function f2(n) result(res)
    integer, intent(in) :: n
    integer :: res(min(n, 0))
    res(:) = 0
  end function f2
end submodule test_in_one_sub_m
```
## OS, environment
- CPU(x86_64)
Intel(R) Core(TM) i7-3632QM CPU @ 2.20GHz
```bash
 $ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 22.04.5 LTS
Release:        22.04
Codename: jammy
 $ flang --version
flang version 20.1.1 (https://github.com/llvm/llvm-project 424c2d9b7e4de40d0804dd374721e6411c27d1d1)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /opt/flang/LLVM-20.1.1-Linux-X64/bin
```

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWEuP2zYQ_jX0ZWCDoiRbPvjgrOs2wKaP7KbobUGJI5sJRRok5ez21xekZNn7fiQI2hqCLQ05w5n5hp885M7JjUZckPwdyVcj3vqtsQvjuODjm7YZlUbcLAhLCUthha6ycuel0YQu14rrDTA6SSYJVFxr46EyzU4qhFoqdOC33IPAWmoEDnWrq6AKFn1rtdQbIFNq0RFWNPyasEITdgaUsHm4phSkBg6NEa1CwtauLbt7cDslfZhbth6kB2HQDUu7tqrQubpV6gZkDX6Lx6W5FiC9A9nsFDaoPe_EFmGneIWiW9NJvemjmBC6JFPaXSV32_DMMqhj9OMKynZz5dpyUs9puA-_hC7RWmNJuoQLbLj2soIoccH-iQahywlh61NJusxIumThCwYrH9G1yoOpj6EQNqsTwmYgHRxSz70sFcJX6bcxbjuohafKWItuZ7QIuZfao615hRAgDoucABTUHGz5HkFI56WuPOC1R-0dDHDRq4KwM6n9LQDpVRYRPPsitSDpqujwhL2DN6iFiy4BAHatxb4Yjp6GDAT1ee8zYUUsqIPSgx-S_xSuLvUenb9qJo0Rh8yzkIsVVorbrjpMPSQ7mu2diA69zJNbK94Ge_5isNm_B2yp3wT2c2rPgc2-K9gJfQpt9jTar3dlcOQee0h9ZTT2dEBYcRaZrPOmZ7PO8sBDcV7as_KRdI48NYh677vAo3OB-mQlPWijMUp2Vu657-_bUskKSLqMRZIElq1ZpzjUUJ0cwnz9pgxWNmiD3XAbC0PGyf2a-pjCfu5h5NFXRa-AWtxyIoiD7J7jJwL2dCTPw_zt8Qy74ul42EPxBGEQ3YX5VqXcKZaTd89pwZyIj29aworeJpt31l1bPlJIldGeS-36OnoDW784l68rjG44zI2WVkCHVN4tlzdVwTe6_Rj-L3L7UABHyG6h9Chj3CGd0zq4NXJqtBt4jEZ-KIt8r733X-SSH8MiJ2A_yAjD-IEYesHAD9-ZHn4oN_yfqeEOTvcZAn67CCui3ktrdGiSCF2O4ez3T4QV18X0app1nrzXHhVhxcfgxZmxSFhx-SE8yNk4nabsjw9BC0hGgU0Y_fmXvx9opiD8H1KuvLKokDuEMSd0-auB84t3fb5dbND4nkvFy64lW0nnrSxbbyy8X4WUfSpb7dswdNKlpjFd3RAwNqHZJIfzywtClx-75fop4RPHCV2eGYGaN3HoM2-am4OX_b-28R6t63rgTtI_H3phwoqt9zsX8VkTtt5Iv23LSWUawtZK7Q8_4501n7HykLGsYmJezjATmFFBC5oJkc6yGUtwmiVJxWYiEUmX90tuN-iDdx0a41Z_0earHiup2-vxRocsXG4t8rilUYWpO-PkdQTNea4UipWMzQZha7PzhK1jKIStz8___DDuIhmfR4N_BcDXpdR3ymUkFqmYp3M-wkUyy9I0n-Wz-Wi7wFld8BKztMy5wCnNc04FZ3lRiZRPCzqSC0ZZTtOUJrN8nhaTWSrYNKvDd15ilZGMYsOlmoQ0TYzdjKRzLS6SNJ1m05HiJSoXzywY6x1nJF-N7CLmtWw3jmRUSefd0YSXXsWDjk4jX8Hl6dlA3z89cyax5e5-l_R1i7o7lQBeWePccG4xnDgMu3DUWrV4XX0Qto7hO8LWfQb2C_ZPAAAA__-IWVVM">