diff options
| author | Discookie <viktor.cseh@ericsson.com> | 2024-03-25 10:08:56 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-25 10:08:56 +0000 |
| commit | 37785fedabd8fa752129ef5bac3462311af91c35 (patch) | |
| tree | d7e751fbea41a84ae59c0507862586f3f0fe4bdb /llvm/lib/CodeGen/MachineFunctionPass.cpp | |
| parent | 94a550dab26c4b30a187dd8e3ce431e0f915923b (diff) | |
| download | llvm-37785fedabd8fa752129ef5bac3462311af91c35.zip llvm-37785fedabd8fa752129ef5bac3462311af91c35.tar.gz llvm-37785fedabd8fa752129ef5bac3462311af91c35.tar.bz2 | |
[clang][analyzer] Bring cplusplus.ArrayDelete out of alpha (#83985)
The checker finds a type of undefined behavior, where if the type of a
pointer to an object-array is different from the objects' underlying
type, calling `delete[]` is undefined, as the size of the two objects
might be different.
The checker has been in alpha for a while now, it is a simple checker
that causes no crashes, and considering the severity of the issue, it
has a low result-count on open-source projects (in my last test-run on
my usual projects, it had 0 results).
This commit cleans up the documentation and adds docs for the limitation
related to tracking through references, in addition to moving it to
`cplusplus`.
---------
Co-authored-by: Balazs Benics <benicsbalazs@gmail.com>
Co-authored-by: whisperity <whisperity@gmail.com>
Diffstat (limited to 'llvm/lib/CodeGen/MachineFunctionPass.cpp')
0 files changed, 0 insertions, 0 deletions