/* { dg-do compile } */
/* { dg-options "-g -fPIC" } */

void *v;
void a (void *x) { }
void b (void) { }
                       /* line 7.  */
int                    /* line 8.  */
main (int argc)        /* line 9.  */
{                      /* line 10.  */
  if (argc == 12345)   /* line 11.  */
    {
      a (v);
      return 1;
    }
  b ();

  return 0;
}

/* { dg-final { scan-assembler-not "\.loc 1 7 0" } } */
/* { dg-final { scan-assembler-not "\.loc 1 8 0" } } */
/* { dg-final { scan-assembler-not "\.loc 1 9 0" } } */

/* The loc at the start of the prologue.  */
/* { dg-final { scan-assembler-times "\.loc 1 10 0" 1 } } */

/* The loc at the end of the prologue, with the first user line.  */
/* { dg-final { scan-assembler-times "\.loc 1 11 0" 1 } } */