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

    <tr>
        <th>Summary</th>
        <td>
            `flang-new` 19.0.0 bug: `sum([Inf, 0.0]) = NaN`, while `Inf + 0.0 = Inf`
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          zaikunzhang
      </td>
    </tr>
</table>

<pre>
    Hi,

This is a bug of flang-new 19.0.0. 

Code (latest version available at https://github.com/zequipe/test_compiler/blob/master/test_sum.f90): 
```fortran
! test_sum.f90
program test_sum
use ieee_arithmetic, only : ieee_value, ieee_positive_inf
use iso_fortran_env, only : RP => REAL128 !REAL64 !REAL32 !REAL16

implicit none
real(RP) :: x(2), y, inf

inf = ieee_value(0.0_RP, ieee_positive_inf)
x = [inf, 0.0_RP]
y = sum(x)

print *, sum(x), x(1) + x(2)
print *, 'sum(x) is ', y

if (.not. y >= inf) then
    error stop 1
end if

end program test_sum
```

Test:
```bash
 uname -a && flang --version && flang test_sum.f90 && ./a.out
```

Result:
```text
Linux 6.5.0-28-generic #29~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Thu Apr  4 14:39:20 UTC 2 x86_64 x86_64 x86_64 GNU/Linux
flang-new version 19.0.0git (git@github.com:llvm/llvm-project.git 37c175af955f0aeab67e8c553a0a47b2ed0fdba2)
Target: x86_64-unknown-linux-gnu
Thread model: posix
 NaN Inf
 sum(x) is NaN
Fortran ERROR STOP: code 1

IEEE arithmetic exceptions signaled: INVALID
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx8VcuO4jgXfhqzOSJyTu4LFhSX_0fqphFNjzQr5CQnwdPBYWKHomoxzz6yAwX0lFpCJDk3f-f2WWgta0U0YdELi-Yj0ZtD203ehfzZq_eDUPUob8u3yf8lwxnjc8anw__uIDVIDQLyvoa2gqoRqh4regU_87jHPXg0n7UlAcO0EYa0gTN1WrYKxFnIRuQNgTBwMOakWTBluGS4rKU59LlXtEeGy3f6u5cnYri07vuiPZ5kQx3DZd60OcPlUWjjvp1e90evyjjDjAXTG46YD7-q7Uwn1FWKPjy5OOmpa-tOHD80g7TXBJKI9qKT5nAkIwuGM2hV8wb2HKc7i6YnK3Zfp1ZLI8-0l6p6CKLb_RXFntT5Kch2AyyYs2AB28X0i48pMPTtaxze3gK8vfnxY43l8dTIQhpQraJB1JFoGKbbDcPMhrcnXBimaEuDM3hzSG_YrmFUZSE8pZNyj-9tlM_ywmxwvDg3Fr044QyuPtF8UL85ta0mppcPp1vBpTLAcGr9Hkxw5uD6Dj6-3LH_14thcne0k8kwGVJ8zK2yQ-ip1nhg8Sxcoi4HMAe6DgUAAHVd24E27Qn8QUqqBPlUKSv5fFQ-hu1pZUgb24Nni1zow_XYXokjwVgAw5hhPKwUjMe3bXkSP07tTeMxXAqv7c1vUGxJ980nOAxdrm5fpOovEHuRx8eYjmtS1MkCGAaY_YPo8dDzxz_yXpkevn_dwGa7WHzd7PbzP9fTr6sZ7A49TE8dQAh-yIJpYLcQOfzYzQDhksb7OPzl8b_1D4ZLd_CA4c4mt-QHVqmlbXhaS8NC_kARwbRpzpYp7GN86tq_qDCetQ6Swk8iUWVRVHFBIo8TSosoCgQXYZIjlbwqc3Gfqp3oajJuUxy4ca9-qvZVjRsLb1yr_saAHYkSjm1JjbW2O3FFD2uxhtVtreB5LtdiPciXAwXAYrv9toXvu28bG6awTOk_dmy1WCzgzjlAl4JORrZKgyVv0VBpHVfrP6ZfVvNf2joqJ0GZBZkY0cRP_CBO_CBLRodJEYsw8P0yTClJqrQoYwpijMMoC_0gqvKRnCDHkIfo8yDMotirkrLIqaJK5H5SJchCTkchG8_W3Gu7eiS17mmSZhGmo0bk1Gh3ryDaRjolQ7TXTDdxfcr7WrOQN1IbfY9ipGloYpn6NgQs5tf-29vGcXrMh6qy6GX1QTeWaxzRzV2VY27lrwfZkHVYWWLDF2voTKxfzEd910x-c_V8MlcMly4ZzXDpkv03AAD__-XXGcI">