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

    <tr>
        <th>Summary</th>
        <td>
            LLDB aborted while examining a structure variable: "lldb: /llvm-project/lldb/source/Expression/DWARFExpression.cpp:2192: static bool lldb_private::DWARFExpression::Evaluate(lldb_private::ExecutionContext*, lldb_private::RegisterContext*, lldb::ModuleSP, const lldb_private::DataExtractor&, const lldb_private::plugin::dwarf::DWARFUnit*, lldb::RegisterKind, const lldb_private::Value*, const lldb_private::Value*, lldb_private::Value&, lldb_private::Status*): Assertion `ap_int.getBitWidth() >= bit_size' failed."
        </td>
    </tr>

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

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

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

<pre>
    1. In LLVM 18.1.8, LLDB aborted while executing `print` or `fr v` command on line 16 of the binary generated with `-g -O3`,
```
clang -g -O3 320.c -o 320.out
lldb 320.out
(lldb) b 320.c:16
Breakpoint 1: where = 320.out`main [inlined] func_1 at 320.c:16:25, address = 0x0000000000001130
(lldb) r
[...]
* thread #1, name = '320.out', stop reason = breakpoint 1.1
    frame #0: 0x0000555555555130 320.out`main [inlined] func_1 at 320.c:16:25
   13    struct S0 **l_2 = &l_3[2];
   14       int i;
   15       (*l_2) = (void*)0;
-> 16            return g_4[2][3][0].f0;
   17   }
   18   
   19   int main (int argc, char* argv[])
(lldb) p l_3
lldb: /llvm-project/lldb/source/Expression/DWARFExpression.cpp:2192: static bool lldb_private::DWARFExpression::Evaluate(lldb_private::ExecutionContext*, lldb_private::RegisterContext*, lldb::ModuleSP, const lldb_private::DataExtractor&, const lldb_private::plugin::dwarf::DWARFUnit*, lldb::RegisterKind, const lldb_private::Value*, const lldb_private::Value*, lldb_private::Value&, lldb_private::Status*): Assertion `ap_int.getBitWidth() >= bit_size' failed.
LLDB diagnostics will be written to /tmp/diagnostics-bd40ff
Please include the directory content when filing a bug report
Aborted (core dumped)
```
and the diagnostics file contains nothing, 
```
ls -lt /tmp/diagnostics-bd40ff
total 0
-rw-rw-r-- 1 ad ad 0 Jul 10 13:36 diagnostics.log
```
under the context of llvm 18.1.8.
```
(lldb) version
lldb version 18.1.8 (https://github.com/llvm/llvm-project.git revision 3b5b5c1ec4a3095ab096dd780e84d7ab81f3d7ff)
  clang revision 3b5b5c1ec4a3095ab096dd780e84d7ab81f3d7ff
  llvm revision 3b5b5c1ec4a3095ab096dd780e84d7ab81f3d7ff

```
2. The the same problem occurs to the binary produced by `-g -O1` or  `-g -O2` in LLVM18.1.8, but it has no such problems to the binary emitted by `-g -O0`.

The C source code lists below.
```
#include <stdint.h>
volatile uint64_t csmith_sink_ = 0;

struct S0 {
   volatile uint8_t f0;
};

static struct S0 g_4[8][9][3] = {{{{1UL},{248UL},{7UL}},{{0xA4L},{253UL},{0xD7L}},{{0xD7L},{248UL},{0x8FL}},{{0xEDL},{1UL},{1UL}},{{0UL},{0xDCL},{253UL}},{{0x98L},{0xA4L},{3UL}},{{0x0FL},{0UL},{1UL}},{{1UL},{0UL},{0x73L}},{{0x57L},{1UL},{0x73L}}},{{{0x02L},{0UL},{1UL}},{{0xDCL},{255UL},{3UL}},{{253UL},{0x8FL},{253UL}},{{0UL},{0UL},{1UL}},{{0x73L},{0x6DL},{0x8FL}},{{255UL},{0xEDL},{0xD7L}},{{0UL},{0UL},{1UL}},{{1UL},{0UL},{0x0FL}},{{0UL},{0x11L},{248UL}}},{{{0UL},{1UL},{0x6DL}},{{0xEDL},{248UL},{0x98L}},{{1UL},{255UL},{255UL}},{{0UL},{0UL},{246UL}},{{255UL},{0UL},{0UL}},{{1UL},{255UL},{0xF8L}},{{0x73L},{248UL},{0x71L}},{{1UL},{1UL},{1UL}},{{0xF8L},{0x11L},{1UL}}},{{{0x66L},{0UL},{1UL}},{{3UL},{0UL},{7UL}},{{0x6DL},{0x66L},{1UL}},{{0xDCL},{255UL},{1UL}},{{255UL},{7UL},{1UL}},{{250UL},{0UL},{0x71L}},{{255UL},{1UL},{0xF8L}},{{0x78L},{0xF8L},{0UL}},{{0x02L},{0x23L},{246UL}}},{{{0x02L},{253UL},{255UL}},{{0x78L},{0xD7L},{0x98L}},{{255UL},{0x6DL},{0x6DL}},{{250UL},{1UL},{248UL}},{{255UL},{0xDCL},{0x0FL}},{{0xDCL},{2UL},{1UL}},{{0x6DL},{0xEDL},{3UL}},{{3UL},{2UL},{0UL}},{{0x66L},{0xDCL},{0x23L}}},{{{0xF8L},{1UL},{0xEDL}},{{1UL},{0x6DL},{255UL}},{{0x73L},{0xD7L},{0UL}},{{1UL},{253UL},{0UL}},{{255UL},{0x23L},{0UL}},{{0UL},{0xF8L},{0UL}},{{1UL},{1UL},{255UL}},{{0xEDL},{0UL},{0xEDL}},{{0UL},{7UL},{0x23L}}},{{{0UL},{255UL},{0UL}},{{1UL},{0x66L},{3UL}},{{0xD7L},{0UL},{1UL}},{{1UL},{0UL},{0x0FL}},{{0UL},{0x11L},{248UL}},{{0UL},{1UL},{0x6DL}},{{0xEDL},{248UL},{0x98L}},{{1UL},{255UL},{255UL}},{{0UL},{0UL},{246UL}}},{{{255UL},{0UL},{0UL}},{{1UL},{255UL},{0xF8L}},{{0x73L},{248UL},{0x71L}},{{1UL},{1UL},{1UL}},{{0xF8L},{0x11L},{1UL}},{{0x66L},{0UL},{1UL}},{{3UL},{0UL},{7UL}},{{0x6DL},{0x66L},{1UL}},{{0xDCL},{255UL},{1UL}}}};

static uint32_t  func_1(void)
{ 
    struct S0 *l_3[8] = {(void*)0,(void*)0,(void*)0,(void*)0,(void*)0,(void*)0,(void*)0,(void*)0};
 struct S0 **l_2 = &l_3[2];
    int i;
    (*l_2) = (void*)0;
 return g_4[2][3][0].f0;
}

int main (int argc, char* argv[])
{
    func_1();
    return 0;
}

```


3. GDB and LLVM16.0.3 work well.
```
gdb 320.out
(gdb) b 320.c:16
Breakpoint 1 at 0x1130: file 320.c, line 16.
(gdb) r
[...]
Breakpoint 1, func_1 () at 320.c:16
16          return g_4[2][3][0].f0;
(gdb) p l_3
$1 = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}
(gdb) info local
l_3 = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}
l_2 = <optimised out>
i = <optimised out>
(gdb) 
```

```
* thread #1, name = '320.out', stop reason = breakpoint 1.1
    frame #0: 0x0000555555555130 320.out`main [inlined] func_1 at 320.c:16:25
   13       struct S0 **l_2 = &l_3[2];
   14       int i;
   15       (*l_2) = (void*)0;
-> 16            return g_4[2][3][0].f0;
   17   }
   18   
   19   int main (int argc, char* argv[])
(lldb) fr v
(S0 *[8]) l_3 = {
  [0] = NULL
  [1] = NULL
  [2] = NULL
  [3] = NULL
  [4] = NULL
  [5] = NULL
  [6] = NULL
  [7] = NULL
}
(lldb) version
lldb version 16.0.3 (https://github.com/llvm/llvm-project.git revision da3cd333bea572fb10470f610a27f22bcb84b08c)
  clang revision da3cd333bea572fb10470f610a27f22bcb84b08c
  llvm revision da3cd333bea572fb10470f610a27f22bcb84b08c

```

4. In "LLVM17.0.6", it produce a similar error, with a slight difference on the error message.
```
/llvm-project/lldb/source/Expression/DWARFExpression.cpp:2191: static bool lldb_private::DWARFExpression::Evaluate(lldb_private::ExecutionContext*, lldb_private::RegisterContext*, lldb::ModuleSP, const lldb_private::DataExtractor&, const DWARFUnit*, lldb::RegisterKind, const lldb_private::Value*, const lldb_private::Value*, lldb_private::Value&, lldb_private::Status*): Assertion `ap_int.getBitWidth() >= bit_size' failed.
Aborted (core dumped)
```


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsOluT6rjRv0bz0jUuXfCFBx64DF99yWyytSdn95GSbdkox1iULDOc_PqULAM22AxzcirZnOwUxeBWq9X3trvNq0rmpRAz5C-Qv3ritdkqPRNpvVPKPMUq_TojHvx_Ca-vv_4EJPKIFyG6hNfX1QJ4rLQRKbxtZSFAHEVSG1nmgAK817I0KMCgtL3MNBzsVaJ2O16moEooZCmABKAyMFsBsSy5_gq5KIXmDVFptnbrcw7Pf2UowIguEV4hPLe_3ae5TApe5uDQgFHsJfCsmh-qNg6lKNK4D0E0skBEp-BWEsTmJHCLCy34l72SpQGC2BzetkILQGx1phHgHZclIH8hSytIivwVZHWZbAhw0yXI5tS3CuNpqkVVNVTwEXf-CGH4hindQvyF53nIX50Q5mC2WvAUEGXE0i35zrGGaHjijoZ2pTJqD1rwSpUNQtyRyiOOIABAphsSlGErq-PNP_0Rhr9V6NMBhAEgPIXK6Dox8AkDolaSYkNbxoNiw5C_oFZOtrhsnLiNAGCZlr01_7yGaOSoWb05gtFBybQ5ZYrPu54Re7EOd9qnhal1CflmcjrbXzD3DyN_5WW4d2DYbETh6gKKGsj5ctpgWFadnmhkf3OdJ9YcyZZraz-u84OLNkSnN3bfg9XF2WmtRRBdF8Vh97zX6u8iMc2lRV5XqtaJQHT9ctxb35KqRHS9-m3-SwfiJfu9tQeZUkusMtzIBGKlCrBkNnstD9wIxOaIza_2OuDLgRe1RXFc9ne8uKBX5VKVRhxNo_TlAOlfRC4rI_Qtnlv_SaV1IT793KhKlZUZYo8b_nI0midGaUSDe7j7os5lK0H6xnXWkfBzKW8ZODH4Z1mm9wj_yotatLsfwRldDYZXPxlu6so5r7XYvKqEthq2yZDvN7I0Xi7MQprfZGq2jfdbv39pYlyaTSX_IRANIeOyEKnnnKnJ16nkeakqI5MK3mRRQCzgTUtjRAlGWUczuz2i6w7ec5xOcJY5Ij8XglcCZJkUdSqatJ1KLaw1vlpdGFEamyxLyGRhCwGHuM5Bi73Sbd6dtyUD0ShRWkBa7_YivURCP7XbUuFOuTCe2VpjD-OyrKBUZivL3KpykEJRwXNh3hfNKMMLaDc967fm8_wMBHhqPxj-VBdAMBCG2JwFXZa8QuWDh9dlKnQjQOK83hY7G8ttIfUGd3WywUHoJg4vRayFtASsGrfG7CvrOnSN6DqXZlvHXqJ2bdq4yh5eLg1ocZANFRb7sZ8QkUw4w1Ofx3gapGkYYRFN0pDHEclYGmbZ2T4Artp-nEK7vZH-G3cPaot68Let88XK1rG9VnEhdqCSpNaVdevO3cVeq7RORArx1_OtBWnvUs4AagHS3fFcbnji2oA0sOXW56Cqk-3pqOtDxM5GVO8My67XFcKyvASXwCFRqYBCVqaCWBTqbcwt2CnwEFtWJrWJYGvjvlk-qIIbGxq1LE0w2RhIqp00200lyy8bd9txrmfuu1OQw0uh6xGKNgY6ddBWv2saTT25kHLlNHJ1dHqpqq4yh4vzh3x-teToEoULOok6V6H7fbpE4QIf55MOts862Pi4Cm_xW9gAdXyM1rf4L6sLRpczcstL_-zlAF89ytOoi9-VYwgbrzvYd_noctnnKWS3dP1wWL4udmeD44U-ysu1HvzP96S8tl-0fkeHI5IO8dFK01IOVvft3ue07wWDfvUwJ-PWwbfe11snZMBzb61ze3pf5lHvvo6G1j9HeO9r6Hz1gE7oJBiwvD-ml7savLbT-obnvuWvZQzJPervxPvptAH7kDHrHIPgUU9hIxoZyoJ9f-6e8bGYvMXur4fv4I7ZfEjTgyffs2M0gDHiI1c56kjZsP_dy2z9bDTo4Vc8dWvLUPxce-uV1W7is6_Pwbp4h3rXyoPZpe8H7_h6n9du3rjNyz293Y3lq3i44pmOVqCu9clQph7LuD05RmzKRm36Ti4aiNg79un65IBmhuLhAS4Gs-Nozsfv6G4g77xnm_HsfL8W9jxh6A5owBL_tho7hP37r659y_y4NXYkm_yOq6v7DD4x2acrRjcG2g7quWl56oSEC7j0aHu9U9ctjboPVf2OJ13-RwAdUT_e7L1t8T7c2P1IJxed-rfu-1uatZ1n5YvtmmZdZ6FlafTg64f7zjfz4P9WC-Bl6loQgYc9Bm9Kf4E3URTD3YF8YMCRPzLfAG7ABpzr_jfNNYdOl6cRjXdNcXg40Zua0OVpMtA2KPsDgmaD_f_RTvyFiU6nHNEJOYUCPlrPhI_9O9vmTF2WmYJCJbxom28b9l1OOMcBW6q9kTtZiRSs0U59HHl_-cLhPT-67hz9F0-NrpPfDzI4-v6To2bEegK2umobcXQKHf89Hduy24D_8vn1tQMnI3A6Amcj8MkI3B-BByPw8BbejdkH2uUuif6L7fKUsyRljMWC-yHNYoInIc4CgjkNM0rjJI4mMY6S8Xb5wxQG2-Uf230nQUyakT6itCkwoYe9AFFqfU2aU5McOFRyJwuuQWittF1tZvIcqkLmWwOpzDKhRZkIUGXTAW8QYSeqiudirI39faaZ5AeeZv6vDik_Nhx030_pjKVTNuVPYkZCigMSUhI9bWckykSUBpiTScp8QVNMhSBZGE4SQaIgeZIziukEhwQTRhjzvVCwJBSB4FmWZRETaILFjsvCsw7rKZ0_yaqqxWwaMeI_FTwWRdW8OENpKd6gWbRh5K-e9Kxx8rjOKzTBzWznQsVIU4jZ4Bs0fCdLNzh1Ra_WAg5cSx4Xwr0LQP94LeCP1wK-R8RR-lTrYvaxeojounHzCtG1C4PDjP4zAAD__yb8G1Q">