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 /clang/lib/Frontend/InterfaceStubFunctionsConsumer.cpp | |
| parent | ccc272cd32c9872842cf0e65e3af71ce96e6793a (diff) | |
| download | llvm-785fad32025ac29b3169a3c9e25b01b2835869d4.zip llvm-785fad32025ac29b3169a3c9e25b01b2835869d4.tar.gz llvm-785fad32025ac29b3169a3c9e25b01b2835869d4.tar.bz2 | |
[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 'clang/lib/Frontend/InterfaceStubFunctionsConsumer.cpp')
0 files changed, 0 insertions, 0 deletions