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