Add __builtion_unreachable to vector::size(), vector::capacity()

[official-gcc.git] / gcc / testsuite / c-c++-common / analyzer / data-model-12.c

/* Mismatching decl of foo.  */
/* { dg-additional-options "-std=gnu17" { target c } } */

int foo ();

int bar (void)
{
  return foo() + 1;
}

int foo (int x, int y)
{
  return x * y;
}