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

    <tr>
        <th>Summary</th>
        <td>
            [lldb]lldb printed a wrong variable value. 
        </td>
    </tr>

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

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

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

<pre>
    This program is compiled by gcc at -O1 level, and lldb prints the wrong value of a variable. It may be caused by miscalculation of the opcode.

```  c
(lldb) b 1753
Breakpoint 1: where = random_39`main + 154 [inlined] func_52 + 67 at random_39.c:1753:18, address = 0x000000000000128d
(lldb) r
Process 113392 launched: '/home/hzw/experiment/csmith_prog/gcc_O1/random_39' (x86_64)
Process 113392 stopped
* thread #1, name = 'random_39', stop reason = breakpoint 1.1
    frame #0: 0x000055555555528d random_39`main at random_39.c:1753:18
   1750 int32_t c_6268 = c_6261 * c_6262;
 1751   int64_t c_6269 = c_6263 - c_6264;
   1752 int64_t c_6270 = c_6265 * c_6266;
-> 1753      g_37[4] = c_6267 * c_6268;
   1754 g_460 = c_6269 + c_6270;
   1755             for (p_53 = 0; (p_53 >= 57); ++p_53)
 1756               { /* block id: 48 */
(lldb) p l_155
(uint64_t) $0 = 17649674416708952760
(lldb) c
Process 113392 resuming
checksum = 0
Process 113392 exited with status = 0 (0x00000000)
```

``` c
(gdb) b 1753
Breakpoint 1 at 0x12df: file /home/hzw/experiment/csmith_prog/mutated_progs/random_39.c, line 1753.
(gdb) r
Starting program: /home/hzw/experiment/csmith_prog/gcc_O1/random_39 

Breakpoint 1, func_52 (p_55=0x555555559240 <g_31>, p_54=0x5555555594c2 <g_40> "", p_53=1) at /home/hzw/experiment/csmith_prog/mutated_progs/random_39.c:1753
1753    g_37[4] = c_6267 * c_6268;
(gdb) p l_155
$1 = 5746
(gdb) c
Continuing.
Breakpoint 1, func_52 (p_55=0x555555559240 <g_31>, p_54=0x5555555594c2 <g_40> "", p_53=0) at /home/hzw/experiment/csmith_prog/mutated_progs/random_39.c:1753
1753    g_37[4] = c_6267 * c_6268;
(gdb) c
Continuing.
Breakpoint 1, func_52 (p_55=0x555555559240 <g_31>, p_54=0x5555555594c2 <g_40> "", p_53=0) at /home/hzw/experiment/csmith_prog/mutated_progs/random_39.c:1753
1753    g_37[4] = c_6267 * c_6268;

```

The following are the debug info of 'l_155':
```
0x000015b3:                     DW_TAG_variable
 DW_AT_abstract_origin (0x000022d1 "l_155")
 DW_AT_location        (0x00004a1f:
 [0x000000000000124a, 0x00000000000012cf): DW_OP_implicit_value 0x8 0xb8 0xa2 0x3c 0xb9 0x5e 0x3d 0xf0 0xf4
 [0x00000000000012d7, 0x000000000000130c): DW_OP_reg0 RAX)
                                  DW_AT_GNU_locviews (0x00004a1b)
```
version:
gcc (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0
gdb 13.2
lldb 15.07
test_case and debug info:
[random_39.zip](https://github.com/user-attachments/files/16539580/random_39.zip)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsV0uP274R_zT0ZbACH6IeBx_sdZzm0g2aTdKbQFG0zEYvSNSuk0M_ezGUbHkdJ23RAu3hLxiWRPI3jx9nhiM1DLZsjFkTuSVyt1KjO7b9-sPTl6cvf_q0ytvi-_r5aAfo-rbsVQ12AN3Wna1MAfl3KLUG5eDhiUFlXkxF-COopoCqKnLoetu4AdzRwGvfNiW8qGo00B5AwYvqrcorE8AHB7X6DrkBrcZhElvbQatKj5Vytm0QgULaTreFCQjdEbqZ_yM6_QD0PMITVE54CjmwWIppeNsb9a1rbeOAEbGB16PpDRCxg141RVtnIiURrZVtgPAtMBkCkVvbVLYxBZE7OIyNziT3s1GMTl-AgSZi41WJDUs8BUXRm2Hw8umJXl2MJ8VPhvbTyMe-1YhiTIiUQ6XGRh9NgeYSHhO-P7a1wduPV8L35tSZ3tamcYTv9VBbd8xwlwjfl1pnT4zw_eIbj4Hw5JREWRQSnt5VOLi268zFvA24Y29UAYQLhl41qp4oIzy-loxziIXeqKFt_JL8iu-ATSIBAA69F8IFRbcmbuT54knx83b8humzVBZLSmhqGyd45kBnEY8Sb4Z_ZIDO-EdOxHaGsViyCRSFZ1C6gAQ8TA_hAvGa-A0opgtILpqiC-yBiHdzJKZlJmIityFG1AUVL6jkRlnoMWF0pSP1IThpvlktCU3h6jq0Pe56l0kxhSIR26uBdzgmYwwHP74lfItTl_hAmdGNTBLj0j1anFet_gbWB2iYoBM4cRvcHVQZQ9Pm8XEmD-cIDyfPWByFaRSHIYtimqSSxxH9SZK-G7W9GcbaNuU0qY9GfxvGevb3HsCcrDMFvFp3hMEpN855iswsyXoh4VJi7tedpeyUv686GMj0xHhxQL4OtsI0-JdTuh6dcqbwr8N1Zgca0w_LlNcb3Joz15ZPTvXONuW5kE9F5T-oKHBNx5vqyh-viiXGmiRiR0_nJE-nPX8sM8EwBvkjdJkM364JNZ_WhBSzh3Duf36pIGLH0DXl_lsMzkXF-_JvZ-rC9U2ohwymDAuj25Vz1Dy2jbPNaJsy-B8RSf8vifyDnnv0_LocPR8NHNqqal8xxVVvfL9UmHwswTaHFjsowuMpOnlMxH1hU_VjMsfzFe5du6_Z8-Z9du7e5mNi9zXbPGcqH1yvtMva3pa-j5rLKecFHsF8Vs-X82UCVq2e-rzzEXMGhoodLrZiP3bbS4UK9-p2VB_8kebFP33MbN1VVluXTe0nPSVATzn-KQ70JDS-pkBPEidFAfR0oPgX_lpxEd9RLKh-o7g3JYW_bP66-PtPr4mQ93_-jKS8WPM6vGEj_9Wp9GL6wbbNhSzsywlPPudj40ZIgzCgD2z0b-zvnAY0DHAbppkZUuTARMCnN9_AMxnQeHp3ZnCZVoPx7f0SWUsoye0S6T9sR-SO8OToXDfgGuwY9qV1xzEPdFsTvh8H0z8o55Q-Yh5hquChiHcWSZHKhL7JHpR59n5VrEWRilStzJrFXDAqYsFWx7WhRZHIOEzCwqSppKFSCSsoj0Ss8oinK7vmlIc0oQmNpRQs4JQlcZ5KLeM0VjwmITW1slVQVS910Pblyg7DaNaM8lCIVaVyUw3-c4nzxryCn8WglrtVv0bQQz6WAwlpZQc3LGKcdZX_zvLtjNwtn0imAHX5QpoSa_pUCmA19tX6NySi9Pn20PXt34zGguRt8kRORr-s-T8CAAD__3flzqA">