diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-04-05 20:18:53 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-04-05 20:18:53 +0000 |
| commit | 5c6fc36de89702b9096973cfc5fd9b071d9db2c5 (patch) | |
| tree | 6c6572a71c23b964dd171b8acba5d02e94029243 /llvm/utils/TableGen/WebAssemblyDisassemblerEmitter.cpp | |
| parent | 9d9d1b6b2ba079c83bad5a00c8189b86ef14ae03 (diff) | |
| download | bcm5719-llvm-5c6fc36de89702b9096973cfc5fd9b071d9db2c5.tar.gz bcm5719-llvm-5c6fc36de89702b9096973cfc5fd9b071d9db2c5.zip | |
[analyzer] NoStoreFuncVisitor: Suppress reports with no-store in system headers.
The idea behind this heuristic is that normally the visitor is there to
inform the user that a certain function may fail to initialize a certain
out-parameter. For system header functions this is usually dictated by the
contract, and it's unlikely that the header function has accidentally
forgot to put the value into the out-parameter; it's more likely
that the user has intentionally skipped the error check.
Warnings on skipped error checks are more like security warnings;
they aren't necessarily useful for all users, and they should instead
be introduced on a per-API basis.
Differential Revision: https://reviews.llvm.org/D60107
llvm-svn: 357810
Diffstat (limited to 'llvm/utils/TableGen/WebAssemblyDisassemblerEmitter.cpp')
0 files changed, 0 insertions, 0 deletions

