1 // { dg-options "-Winline -O" } 2 3 #include <vector> 4 5 using namespace std; 6 main(void)7 int main(void) 8 { 9 vector<int> v(10); 10 } 11