aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Support/APFloat.cpp
diff options
context:
space:
mode:
authorHans Wennborg <hans@chromium.org>2023-01-30 13:15:31 +0100
committerHans Wennborg <hans@chromium.org>2023-01-30 13:24:44 +0100
commit7bf5f62574e23ba56447aca2530197d8577b59fd (patch)
treeba3a833c803bd20946434a9e0f07673af2181c6c /llvm/lib/Support/APFloat.cpp
parentbb94d33aac2a617a762d0662648f8ec496c4c364 (diff)
downloadllvm-7bf5f62574e23ba56447aca2530197d8577b59fd.zip
llvm-7bf5f62574e23ba56447aca2530197d8577b59fd.tar.gz
llvm-7bf5f62574e23ba56447aca2530197d8577b59fd.tar.bz2
Revert "[ASan][libcxx] Annotating std::vector with all allocators"
This caused false container-overflow errors when using a custom allocator that touches the memory on deallocation: GitHub Issue #60384 > This revision is a part of a series of patches extending > AddressSanitizer C++ container overflow detection > capabilities by adding annotations, similar to those existing > in std::vector, to std::string and std::deque collections. > These changes allow ASan to detect cases when the instrumented > program accesses memory which is internally allocated by > the collection but is still not in-use (accesses before or > after the stored elements for std::deque, or between the size and > capacity bounds for std::string). > > The motivation for the research and those changes was a bug, > found by Trail of Bits, in a real code where an out-of-bounds read > could happen as two strings were compared via a std::equals function > that took iter1_begin, iter1_end, iter2_begin iterators > (with a custom comparison function). > When object iter1 was longer than iter2, read out-of-bounds on iter2 > could happen. Container sanitization would detect it. > > In revision D132522, support for non-aligned memory buffers (sharing > first/last granule with other objects) was added, therefore the > check for standard allocator is not necessary anymore. > This patch removes the check in std::vector annotation member > function (__annotate_contiguous_container) to support > different allocators. > > If you have any questions, please email: > - advenam.tacet@trailofbits.com > - disconnect3d@trailofbits.com > > Reviewed By: #libc, #sanitizers, philnik, vitalybuka > > Spies: EricWF, philnik, #sanitizers, libcxx-commits > > Differential Revision: https://reviews.llvm.org/D136765 This reverts commit 490555026821db47d1cf4bf08c219b3e56ec6b45.
Diffstat (limited to 'llvm/lib/Support/APFloat.cpp')
0 files changed, 0 insertions, 0 deletions