(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
analyzer/
data-model-12.c
       1  /* Mismatching decl of foo.  */
       2  
       3  int foo ();
       4  
       5  int bar (void)
       6  {
       7    return foo() + 1;
       8  }
       9  
      10  int foo (int x, int y)
      11  {
      12    return x * y;
      13  }