diff options
| author | Tobias Grosser <tobias@grosser.es> | 2017-05-05 13:20:47 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2017-05-05 13:20:47 +0000 |
| commit | d5727c5011ea0abcee8ef985ff33eeeca69e3949 (patch) | |
| tree | 3bfcc9996fdd34298d636bd1ba3962b187cf6e6a /llvm/lib/Fuzzer/FuzzerMerge.cpp | |
| parent | e9c5d7b70b9e3e8403eb0343a483deb642c7894a (diff) | |
| download | bcm5719-llvm-d5727c5011ea0abcee8ef985ff33eeeca69e3949.tar.gz bcm5719-llvm-d5727c5011ea0abcee8ef985ff33eeeca69e3949.zip | |
Fix handling of signWrappedSets in access relations
Since r294891, in MemoryAccess::computeBoundsOnAccessRelation(), we skip
manually bounding the access relation in case the parameter of the load
instruction is already a wrapped set. Later on we assume that the lower
bound on the set is always smaller or equal to the upper bound on the
set. Bug 32715 manages to construct a sign wrapped set, in which case
the assertion does not necessarily hold. Fix this by handling a sign
wrapped set similar to a normal wrapped set, that is skipping the
computation.
Contributed-by: Maximilian Falkenstein <falkensm@student.ethz.ch>
Reviewers: grosser
Subscribers: pollydev, llvm-commits
Tags: #Polly
Differential Revision: https://reviews.llvm.org/D32893
llvm-svn: 302231
Diffstat (limited to 'llvm/lib/Fuzzer/FuzzerMerge.cpp')
0 files changed, 0 insertions, 0 deletions
