diff options
| author | Valeriy Savchenko <vsavchenko@apple.com> | 2021-04-21 16:01:30 +0300 |
|---|---|---|
| committer | Valeriy Savchenko <vsavchenko@apple.com> | 2021-04-28 18:37:38 +0300 |
| commit | ab5823867c4aee7f3e02ddfaa217905c87471bf9 (patch) | |
| tree | b08f2ff6ea964da6ba4e4b6d15e985eb14ecf28c /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | e273918038a7aa300cb8e6afebd9714bf647eed0 (diff) | |
| download | llvm-ab5823867c4aee7f3e02ddfaa217905c87471bf9.zip llvm-ab5823867c4aee7f3e02ddfaa217905c87471bf9.tar.gz llvm-ab5823867c4aee7f3e02ddfaa217905c87471bf9.tar.bz2 | |
[analyzer] Find better description for tracked symbolic values
When searching for stores and creating corresponding notes, the
analyzer is more specific about the target region of the store
as opposed to the stored value. While this description was tweaked
for constant and undefined values, it lacked in the most general
case of symbolic values.
This patch tries to find a memory region, where this value is stored,
to use it as a better alias for the value.
rdar://76645710
Differential Revision: https://reviews.llvm.org/D101041
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions