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

    <tr>
        <th>Summary</th>
        <td>
            `PointerValue` comparison doens't take properties into account.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:dataflow
      </td>
    </tr>

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

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

<pre>
    Function `areEquivalentIndirectionValues` doesn't account for differences in properties when comparing pointer values. This causes problems with analyses which use properties where pointer values differing only in properties are considered equivalent.

https://github.com/llvm/llvm-project/blob/a01b58aef0e42fb1b52e358adf4c56678a884d37/clang/lib/Analysis/FlowSensitive/Value.cpp#L20-L27
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkkGPmzwQhn-NuViLjA2YHDjk035IlfZQqVXvxh5gWsemHpMo_76CzbZqbr2AZGtezzPzGCKcA0DPmv-YlPeLCY5JyZrXwmx5iak_jooxuns_bMFmjIGzVpgE___c8Go8hPwpOExw3H0zfgNireAuAgUmdebG2riFzKeYuMNpggTBAnEMfE1xhZQRiN8WCNzGy2oShpmvEUOGxK9HYMm_Lkjcmo2A9qrRw4X4DfPCTTD-TkcC2oVvBE-xCZ7SHl3sz8Tg70-NmATcxkDoIIHj8BuzZOKVifP7d8l5JabOTA5MDjPmZRtLGy9MDt5fP34va4rfwWYmh9HHkcnBiGpsOgOTgFpOYzU2ElTTGTfVtmlb3Zmuq53STA7WmzDvQbgXng9MJCaHwcfbFwiEGa_A5HAMvbTryqR6k-LlTerC9cqd1MkU0FdaKC0q0api6ZW2-qSFlaJutDvVXTfZ2jkBle6sraYCeymkqqTUVVfpWpXdWFeqsnZyeho70bFawMWgL3fAMqa5QKINet3WzanwZgRPD5_eCdTZmWwmH28PtVJ_zGbcZmK18EiZ_oRlzB561orP7zs74HahHm5QDLtbgQ63svnx17ox5PghXFlsyff_vKiDZh_zAfQrAAD__-kxDaM">