[ScopInfo] Actually remove from list.
commitf6cf07ed115f9f354f7dfc0064eaa446dae22608
authorMichael Kruse <llvm@meinersbur.de>
Mon, 9 Apr 2018 23:13:01 +0000 (9 23:13 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Mon, 9 Apr 2018 23:13:01 +0000 (9 23:13 +0000)
tree8d9c261ec6f7b78a1b47e4770d2a4e552122f821
parentf84d729620d43c5c7afa8ed9bcd71979ce02bc13
[ScopInfo] Actually remove from list.

std::remove, despite its name, does not remove elements from a list, but
only moves them to the end of a list.  Call erase() to shorten the
vector to the remaining elements.

Test case included in next commit.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@329639 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScopInfo.cpp