summaryrefslogtreecommitdiffstats
path: root/lldb/packages/Python/lldbsuite/test/python_api/section/main.c
diff options
context:
space:
mode:
authorArtem Dergachev <artem.dergachev@gmail.com>2017-04-24 19:30:33 +0000
committerArtem Dergachev <artem.dergachev@gmail.com>2017-04-24 19:30:33 +0000
commit37de8888672f5cd51d6556be67b57950977f4f15 (patch)
tree081c2431637cde69c911f80a4c0fcf7e19c87d5e /lldb/packages/Python/lldbsuite/test/python_api/section/main.c
parent4287d65c1032dc1f76befb21a4fae5bd3aea7f8b (diff)
downloadbcm5719-llvm-37de8888672f5cd51d6556be67b57950977f4f15.tar.gz
bcm5719-llvm-37de8888672f5cd51d6556be67b57950977f4f15.zip
[analyzer] Improve suppression for inlined defensive checks before operator &.
Null dereferences are suppressed if the lvalue was constrained to 0 for the first time inside a sub-function that was inlined during analysis, because such constraint is a valid defensive check that does not, by itself, indicate that null pointer case is anyhow special for the caller. If further operations on the lvalue are performed, the symbolic lvalue is collapsed to concrete null pointer, and we need to track where does the null pointer come from. Improve such tracking for lvalue operations involving operator &. rdar://problem/27876009 Differential Revision: https://reviews.llvm.org/D31982 llvm-svn: 301224
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api/section/main.c')
0 files changed, 0 insertions, 0 deletions
OpenPOWER on IntegriCloud