diff options
| author | Johannes Doerfert <jdoerfert@anl.gov> | 2019-08-23 17:56:10 +0000 |
|---|---|---|
| committer | Johannes Doerfert <jdoerfert@anl.gov> | 2019-08-23 17:56:10 +0000 |
| commit | 22e6e108e108f09f8ecd18e1b307ddfc68bfb2b7 (patch) | |
| tree | 0f008e8d217edd882a4f185e1413d78a5ce612e6 /lldb/packages/Python/lldbsuite/test/expression_command/context-object-objc | |
| parent | 23400e618b986da3f1ad9549c3b2b9ea8cc76893 (diff) | |
| download | bcm5719-llvm-22e6e108e108f09f8ecd18e1b307ddfc68bfb2b7.tar.gz bcm5719-llvm-22e6e108e108f09f8ecd18e1b307ddfc68bfb2b7.zip | |
[BasicAA] Use dereferenceability to reason about aliasing
Summary:
We already use the fact that an object with known size X does not alias
another objection of size Y > X before. With this commit, we use
dereferenceability information to determine a lower bound for Y and not
only rely on the user provided query size.
The result for @global_and_deref_arg_2() and @local_and_deref_ret_2()
in test/Analysis/BasicAA/dereferenceable.ll improved with this patch.
Reviewers: asbirlea, chandlerc, hfinkel, sanjoy
Subscribers: hiraditya, bollu, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D66157
llvm-svn: 369786
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/expression_command/context-object-objc')
0 files changed, 0 insertions, 0 deletions
