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

    <tr>
        <th>Summary</th>
        <td>
            [clang-tidy] bugprone-unchecked-optional-access crash on clang/lib/Sema/SemaExpr.cpp
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang-tidy,
            crash
      </td>
    </tr>

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

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

<pre>
    As of my current main (788bbd2ef6a291cc1e38c6d35c3924bf2382e75a), `bugprone-unchecked-optional-access` crashes on `clang/lib/Sema/SemaExpr.cpp`.

```
> ./build/bin/clang-tidy -checks="-*,bugprone-unchecked-optional-access" clang/lib/Sema/SemaExpr.cpp
[...]
clang-tidy: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp:933: void clang::dataflow::Environment::setValue(const Expr &, Value &): Assertion `CanonE.isPRValue()' failed.
[...]
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMk0FvqzoQhX_NsLFAZowJLFjQJKyfXqW3N7ZJ_OrYCBt68--vTNLbqpteydJojM7HjM6xCMFcnNYd8Bfgp0ys8eqXzhnpN-HestGre9cH4idyuxO5Lot2kdyEcQSwOTTNOCrUUy2wLaUsNWtkrRiXrMVqnJA1qA9cALaARwI1HdfLvHin89XJq5ZvWuV-jsY7YXMhpQ4BakrkIsJVB-Jd0kgr3AVwsGYEHF71TTzL-de8FHKeoaYF0D6dmj4P7YGdSQE4jKuxKlXjAIcdlkej7iTfJwjAToCYA_aAx7-YD5H8PBHtgb8URQH8BLT__Cmw_pu6d8LegwmAw2D9-6t2wUSzacDhJKKYrH8_u80s3t20izuc9S1jibR5o5441gPr1VPw6L7IHhdBx_-EXTVgI70LkaRxCWCdzNm_PJo2sfsQ9JI2TxYchfPuXJjwz78fhN3TA5mEsVoV3xb-40OmOqZa1opMd-WBNXXZ1g1m144f2nY8yGnSjZZclQ0rOSpej0rVdMQyMx1S5BQpw5JXFRYlp7Qpq6aqp_og2woqqm_C2MLa7Vb45ZKZEFbdlch502ZWjNqGPdeIXwxABDymq5Sx1PFTtnSJkY_rJUBFrQkxfFKjiXZ_H18g_ER-TsojxinEP-YlWxfbXWOcQ3IKB8DhYuJ1HQvpb0lot4-Sz4v_X8sIOOz7puA8V946_B0AAP__27sxaw">