diff options
| author | Tomasz Kamiński <tomasz.kamiński@sonarsource.com> | 2023-07-18 08:24:17 +0200 |
|---|---|---|
| committer | Tomasz Kamiński <tomasz.kamiński@sonarsource.com> | 2023-07-18 08:31:38 +0200 |
| commit | 61760bb98c4694651261b2e10df3fa6f669098ed (patch) | |
| tree | 103b93aa0eb7a295b91924a6d21ec7b950fec023 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | ef7d53731bba8c4131f519d7a4dd8cd774cfe539 (diff) | |
[analyzer] Bind return value for assigment and copies of trivial empty classes
We now properly bind return value of the trivial copy constructor
and assignments of the empty objects. Such operations do not
perform any loads from the source, however they preserve identity
of the assigned object:
```
Empty e;
auto& x = (e = Empty());
clang_analyzer_dump(x); // &e, was Unknown
```
Reviewed By: xazax.hun
Differential Revision: https://reviews.llvm.org/D155442
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions
