projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b97d2c) | patch
isDereferenceablePointer: look through gc.relocate calls
authorRamkumar Ramachandra <artagnon@gmail.com>
Mon, 9 Feb 2015 21:08:03 +0000 (21:08 +0000)
committerRamkumar Ramachandra <artagnon@gmail.com>
Mon, 9 Feb 2015 21:08:03 +0000 (21:08 +0000)
commitba59efdfc80f404b0615cdddf40903f7e1f03d18
tree8db7f57897c9c759cd8affb358286c2045325a25tree | snapshot
parent4b97d2ca919f372994173ef164d5467c098e06afcommit | diff
isDereferenceablePointer: look through gc.relocate calls

While a theoretical GC might change dereferenceability on collection,
there is no such known collector and no need to account for the case
with a flag yet.

Differential Revision: http://reviews.llvm.org/D7454

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228606 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Value.cpp diff | blob | history
test/Analysis/ValueTracking/memory-dereferenceable.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors