// { dg-options "-Winline -O" }

#include <vector>

using namespace std;

int main(void)
{
  vector<int> v(10);
}