diff options
| author | Chandler Carruth <chandlerc@gmail.com> | 2016-11-04 06:11:54 +0000 |
|---|---|---|
| committer | Chandler Carruth <chandlerc@gmail.com> | 2016-11-04 06:11:54 +0000 |
| commit | 3d40284570058560a3cfd92ba74ef37988746a31 (patch) | |
| tree | ae17a743aae6d9943f03acaa1fe2a013d59dbba3 /clang/lib/AST/Expr.cpp | |
| parent | 22349ffa5db7e6c8b83c07d7993a799bb5419f0a (diff) | |
| download | bcm5719-llvm-3d40284570058560a3cfd92ba74ef37988746a31.tar.gz bcm5719-llvm-3d40284570058560a3cfd92ba74ef37988746a31.zip | |
Add an assert to further check the invariant that a null pointer
corresponds to another argument being valid.
This makes it clear that the code is correct despite the PVS-Studio
report that a pointer might be dereferenced prior to being checked for
whether it is null. It likely is also enough for static analyzers to not
flag the code.
llvm-svn: 285982
Diffstat (limited to 'clang/lib/AST/Expr.cpp')
0 files changed, 0 insertions, 0 deletions
