]> granicus.if.org Git - llvm/commit
[MemorySSA] Remove verifyClobberSanity.
authorAlina Sbirlea <asbirlea@google.com>
Mon, 11 Feb 2019 19:51:21 +0000 (19:51 +0000)
committerAlina Sbirlea <asbirlea@google.com>
Mon, 11 Feb 2019 19:51:21 +0000 (19:51 +0000)
commite15e0ec30e1491335ec277ec21ec2ce0848b2d0c
tree23a32622b4a02d470c53f3683fb625397d7bec34
parent0bb9e7af427e7977ffa3f8cdd51ffb5049128c71
[MemorySSA] Remove verifyClobberSanity.

Summary:
This verification may fail after certain transformations due to
BasicAA's fragility. Added a small explanation and a testcase that
triggers the assert in checkClobberSanity (before its removal).
Addresses PR40509.

Reviewers: george.burgess.iv

Subscribers: sanjoy, jlebar, llvm-commits, Prazek

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D57973

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@353739 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/MemorySSA.h
lib/Analysis/MemorySSA.cpp
test/Analysis/MemorySSA/pr40509.ll [new file with mode: 0644]