[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
Loading
Please register or sign in to comment