/* { dg-do compile } */
/* { dg-options "-Wall -O3 -fdump-tree-vrp2" } */

#include <vector>

void foo(std::vector<unsigned int> &v);

void vtest()
{
  std::vector<unsigned int> v;
  foo (v);
  {
    v.resize (v.size()-1);
  }
}

/* As written this testcase should trigger a warning.  We overflow to -1U
   if v.size() == 0 in foo().  This results in bogus calls to memset.

   The number of clearing loops in the IL can vary depending on the C++
   mode used for the test.  But by the end of VRP2, there should be a single
   clearing loop left and it should be using memcpy.  */
/* { dg-final { scan-tree-dump-times  "__builtin_memset \\(_\[0-9\]+, 0, \[0-9\]+\\)" 1 "vrp2" } } */

/* And that call should trigger a warning.  */
/* { dg-warning "exceeds maximum object size" "" { target *-*-* } 0 } */