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