diff options
| author | Johannes Doerfert <jdoerfert@anl.gov> | 2019-08-23 17:29:23 +0000 |
|---|---|---|
| committer | Johannes Doerfert <jdoerfert@anl.gov> | 2019-08-23 17:29:23 +0000 |
| commit | 785fad32025ac29b3169a3c9e25b01b2835869d4 (patch) | |
| tree | 7ebb5c7dcf88862e9cf5a529152b0248bcf56f87 /lldb/packages/Python/lldbsuite/test/expression_command/call-function/TestCallStopAndContinue.py | |
| parent | ccc272cd32c9872842cf0e65e3af71ce96e6793a (diff) | |
| download | bcm5719-llvm-785fad32025ac29b3169a3c9e25b01b2835869d4.tar.gz bcm5719-llvm-785fad32025ac29b3169a3c9e25b01b2835869d4.zip | |
[Attributor] Deal with shrinking dereferenceability in a loop
Summary:
If we have a loop in which the dereferenceability of a pointer decreases
we did slowly decrease it iteration by iteration, leading to a timeout.
With this patch we detect such circular reasoning and indicate a
fixpoint early.
Reviewers: uenoku, sstefan1
Subscribers: hiraditya, bollu, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D66558
llvm-svn: 369784
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/expression_command/call-function/TestCallStopAndContinue.py')
0 files changed, 0 insertions, 0 deletions
