diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2017-04-24 20:55:07 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2017-04-24 20:55:07 +0000 |
| commit | cbd7cd8360d9bd6c5a083acbf8e63dbc9690e975 (patch) | |
| tree | 904be8d7f31954126189b28e0dd2b9effc8147a3 /lldb/packages/Python/lldbsuite/test | |
| parent | 9e32aa2587b540592c2a32f7f4885b9278ef6ba4 (diff) | |
| download | bcm5719-llvm-cbd7cd8360d9bd6c5a083acbf8e63dbc9690e975.tar.gz bcm5719-llvm-cbd7cd8360d9bd6c5a083acbf8e63dbc9690e975.zip | |
[analyzer] Improve subscripting null arrays for catching null dereferences.
Array-to-pointer cast now works correctly when the pointer to the array
is concrete, eg. null, which allows further symbolic calculations involving
such values.
Inlined defensive checks are now detected correctly when the resulting null
symbol is being array-subscripted before dereference.
Differential Revision: https://reviews.llvm.org/D32291
llvm-svn: 301251
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test')
0 files changed, 0 insertions, 0 deletions
