diff options
| author | Johannes Doerfert <jdoerfert@anl.gov> | 2019-08-23 15:45:46 +0000 |
|---|---|---|
| committer | Johannes Doerfert <jdoerfert@anl.gov> | 2019-08-23 15:45:46 +0000 |
| commit | 2f2d7c3addff2e03e0b051a663743bb751ddb5bd (patch) | |
| tree | ea40c250ca29c5164d7cdb53f52f7077bfb72c41 /lldb/packages/Python/lldbsuite/test/expression_command/context-object-objc/TestContextObjectObjc.py | |
| parent | deb9ea3a8c842f279cf9d7db695760acd55be660 (diff) | |
| download | bcm5719-llvm-2f2d7c3addff2e03e0b051a663743bb751ddb5bd.tar.gz bcm5719-llvm-2f2d7c3addff2e03e0b051a663743bb751ddb5bd.zip | |
[Attributor][Fix] Deal with "growing" dereferenceability
Summary:
If we have a negative inbounds offset dereferenceabily "grows". However,
until we do not handle the overflow that can occur in the
dereferenceable bytes and the problem with loops, we simply do not grow
the state.
Reviewers: sstefan1, uenoku
Subscribers: hiraditya, bollu, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D66557
llvm-svn: 369771
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/expression_command/context-object-objc/TestContextObjectObjc.py')
0 files changed, 0 insertions, 0 deletions
