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

    <tr>
        <th>Summary</th>
        <td>
            false negative in bugprone-assert-side-effect when method accept a non-const-ref argument.
        </td>
    </tr>

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

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

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

<pre>
    https://godbolt.org/z/e34x94Enq
```c++
#include <cassert>

struct S {
  bool f(int& i) const;
};

void foo(S s) {
  int a;
  assert(s.f(a));
}
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcUt2OnDwMfRpzY4EyDj_DBRe7O4u--32CEAzkUyaZJmG27dNXMLQ7rWQ5P9Y5OfaJitHMjrmD6hWI_uMQ3pQRrWiACKpLpta0-NA9FbLBjz-6JaVbBPkC1AP1sx8Hb1PhwwzU_wTqWZbf2_LdfQNxAfECtXiEBnrd4nFL0jht15ER5JtWMXJIIN-P6p5jCqtO-IHQHCjEwXuLE9DZuARUowFqUXsXE8jf1M3la7_nuzcjTt4DnT8wbognRuMSqj8AxEMKnWOxvaOA2i2e2f_u63HMxk6OrWxVxt2pEW19PlVlnS1dWU1VQyUJJdRIQy2mWgxjze1Qtkq0p8x0JKgUUlQkJVFdjIMudS0b3VQ1C62gFHxVxhbW3q_boDMT48rduRQtZVYNbOPhouNP3IuHh6HbMPmwzhFKYU1M8YslmWS5m5SNjI5nlcyd0Tgc1vkWvOP8MYo8mpFznibWCT8XdnjltPgRldZ8S6jQeZfvHuSBJ1RhXq_sUpGtwf77W0xa1qHQ_grUb0KOJb8F_z_rBNTv8iNQv7f3KwAA__8CJ8f1">