[ScopInfo] Actually remove from list.
authorMichael Kruse <llvm@meinersbur.de>
Mon, 9 Apr 2018 23:13:01 +0000 (23:13 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Mon, 9 Apr 2018 23:13:01 +0000 (23:13 +0000)
commit7de61668aedf4ac986a303a34aba98a452c6abef
tree3967c1bfe763d6098e343cf3572b5224fb8f4459
parent0034e393d9bed8bcfb4070bafc99415209253331
[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.

llvm-svn: 329639
polly/lib/Analysis/ScopInfo.cpp