// { dg-options "-Winline -O" } #include <vector> using namespace std; int main(void) { vector<int> v(10); }