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

    <tr>
        <th>Summary</th>
        <td>
            [flang][debuginfo] Inconsistent debugger behavior when processing executables emitted by flang-new
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          pawosm-arm
      </td>
    </tr>
</table>

<pre>
    Consider simple program:
```
PROGRAM allocatable
  IMPLICIT NONE
 INTEGER, ALLOCATABLE, TARGET :: alloc2d(:, :)

  ALLOCATE(alloc2d(-1:1, -2:2))
  IF (ALLOCATED(alloc2d)) THEN
    alloc2d(:, :) = -1
 DEALLOCATE(alloc2d)
  END IF
END PROGRAM
```
I've tried to compile it with gfortran and the old classic flang (each time with the `-O0 -g` flags), and I've observed (more or less) the same effect in gdb (after setting breakpoint at the ALLOCATE statement):
```
(gdb) b allocatable.f90:5
Breakpoint 1 at 0x40092c: file allocatable.f90, line 5.
(gdb) r
Starting program: /home/pawosm01/test_linear/allocatable
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/aarch64-linux-gnu/libthread_db.so.1".

Breakpoint 1, allocatable () at allocatable.f90:5
5         ALLOCATE(alloc2d(-1:1, -2:2))
(gdb) info locals
alloc2d = <not allocated>
(gdb)
```
When compiled with flang-new, I can observe a different behavior:
```
(gdb) b allocatable.f90:5
Breakpoint 1 at 0x2110: file allocatable.f90, line 5.
(gdb) r
Starting program: /home/pawosm01/test_linear/allocatable
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/aarch64-linux-gnu/libthread_db.so.1".

Breakpoint 1, _QQmain () at allocatable.f90:5
5         ALLOCATE(alloc2d(-1:1, -2:2))
(gdb) info locals
alloc2d = ()
(gdb)
```
Apparently, gdb can't figure out that the array was not allocated yet.
This has some nasty implications as I extended the program a bit:
```
PROGRAM minimal
  IMPLICIT NONE
  INTEGER :: int_arr1d(-1:1)
  INTEGER :: int_arr2d(-1:1, -2:2)
  LOGICAL :: logical_arr2d(-1:1, -2:2)
  REAL    :: real_arr1d(-1:1)
  REAL    :: real_arr2d(-1:1, -2:2)
  INTEGER, ALLOCATABLE, TARGET :: alloc2d(:, :)

  ALLOCATE(alloc2d(-1:1, -2:2))
  IF (ALLOCATED(alloc2d)) THEN
    alloc2d(:, :) = -1
 DEALLOCATE(alloc2d)
  END IF
END PROGRAM
```
When compiled with gfortran (and more or less the same when compiled with the old classic flang):
```
(gdb) b minimal.f90:10
Breakpoint 1 at 0x40092c: file minimal.f90, line 10.
(gdb) r
Starting program: /home/pawosm01/test_linear/minimal
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/aarch64-linux-gnu/libthread_db.so.1".

Breakpoint 1, minimal () at minimal.f90:10
10        ALLOCATE(alloc2d(-1:1, -2:2))
(gdb) info locals
alloc2d = <not allocated>
(gdb)
```
Notice, that uninitialized variables are not present.
When compiled with flang-new:
```
(gdb) b minimal.f90:10
Breakpoint 1 at 0x2110: file minimal.f90, line 10.
(gdb) r
Starting program: /home/pawosm01/test_linear/minimal
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/aarch64-linux-gnu/libthread_db.so.1".

Breakpoint 1, _QQmain () at minimal.f90:10
10        ALLOCATE(alloc2d(-1:1, -2:2))
(gdb) info locals
int_arr1d = (-134225856, 65535, -1431689840)
real_arr1d = (6.12227299e-41, -9.7203448e+33, 9.18340949e-41)
alloc2d = <error reading variable alloc2d (Cannot access memory at address 0x1000000000000)>
(gdb)
```
Now, some (but only some) of the uninitialized variables are shown, all of them with random values, and `alloc2d` has gone completely to the moon. Note that when doing experiments (adding more variables, some of them with user defined types) I've managed to make the information about `alloc2d` completely lost, which is the most unfortunate.

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWN1u67gRfhr6ZmCDoiRbuvCF459TA9lkN03Ry4CSxhK7FGmQVBL36QtSku2cTbIpcFBsgWMESUTNH4ffzHw0t1bUCnFJ0huSbia8c402yyN_0badctNOCl2dlmutrKjQgBXtUSIcja4Nb0m8InRD6IrM6fATHn99uP_2sPoFuJS65I4XEvsXAPtffr3dr_ePcHd_tx0W93eP22_bB8LWsLq9vV-vHlc3t1v_-Lh6-LZ9BO8nXvXmWEVY5hfYOqyzfAhhcDBY2BKWXeSnEYlXkVeZMhKvmNcaFQH2OyAsGxU315peDB7_tr0bZeGjKIDEG5hGg9xm-14cZ4_buw3sd_2T_39I2LvJ3BO2eEZwRmAFTkOp26OQCMLBi3AN1AdtnOEKuKrANQhaVlBKf7IlHCRXtd8d8rIBJ1rslbwcmdPpPYVpTebUC9Y27HcdDA1edWHRPGPlTbTaIGgDEq2XDDYsbxHwcMDSgVBQV4WX5AfnsYLOCVVDYZD_ftRCOeAuaI25Aeu4wxaV854_ABNhWV0V3mFxDajZIackXqW90M3FR-S90NeE0pyVHjYHn63vNdkapFAI6ex7L6Zf-LvjJoR_wToQtmt0i4Tt-gKhEWE7h9Y9eVvcELb7A-RJevPYGOQVVFh0de1Ndtb_lqJw4c1TVQAqr1KRdNOr_SOINNq6t3JSFIabExDGCNtJUXif3JTNPJlKobrXaa26_s1ZaWb1LCKMza4r5Tpj4dAvgfsj9Jng7uOEpzB-_uuCu6RaqIMG70Da_tVgINQSiddKnyPAisTb7_Tfhcs_G1RjjVQ92EMRTBW--Hj2UHI14ho4VOJwQIPKQYENfxba_GAgsiiiP2H4VRg-_fZby4X6i0AwBPEV1K2OR-5BJE_eoW-DJVeELRwcRN35vtn51jf0P24MP8ELt_AG4XBCNyTnsREWGm7B6hZBcetO4EevKLkTWlngFvaArw5VhX3bHwACHArh_mwyt0KJlsvPpvI4lsfpK5R74sZE17nNP5f98BwGrdv7b_v16nbUkroWJZdf0XzYrm79yQ-aBnu194P7QPjPfPykJZ_Rknf67JmJeOOqgmvCcGELL39UfJe1fJESDEgeWkNEv8gHrtXGJhzRH9yF31TZ_0sHHoK-6sDvpziif1EGcKedKNF7Dg23U0IJJ7gU_8YKnrkRPsEWuMHQfo8GLaqx8X5KH34gHN-wgp9g_Dod-F-C8TzyRjYwjeKEsTRL597WPE3jNBiNkjiaZ3mW0LPZy0galeeziDG2YHmO06QPJp8tGI2TJEPCbuLYr-WzKIsTmieDVP5uXaAx2vhJVvkDGUENZymWrbkKxVOWvvu22GpzCnSqqoxfoa8RvfqEbvvF8go8OhATwrKic6CVPIUFn0V9CP38s7KzjX5Rw6VjkG_7WjNcVbqFZy47tONdlMzpeJRzGlhRrRWGKpXoUJ78tdj7bLVWM7jTDvvSD6Om0j5F-HpEI_xV04bxVIXEhQl1ju28rTchdRYNVHgQyhOt0xHD5Xe4H7dc8bq_l7f8dwxReBiZNvA04IUnfm83cBW31NZ5ry-NKBsQdtiF9V3LD9NOcYdDgUyqZVzlcc4nuIwWUZ6nLInppFlGUbbAOIopS4oiKRBplMYLOq-yNMsqnk7EklGW0AVljMZxSmcl8oIe5lWRHRhWOScJxZYLOZPyuZ1pU0-EtR0u80WymE8kL1Da8A0RY8NoZiTdTMzSy0-LrrYkoVJYZy8WnHAyfK3Ua6Qbkt6EXuPTQ9IN7FWplRXW-btX34XQnC9h_dkdjfbw7Q8Qy871GMJWOM-Xi9OlOU86I5eNc0cbiM-OsF0tXNMVs1K3vvXI5_HP9Gj0v7B0hO3CPi1hu36rz0v2nwAAAP__oLejjA">