Subversion Repositories scarts

/* { dg-do compile } */

/* Here's the deal: f3 is not inlined because it's too big, but f2 and

   f1 are inlined into it.  We used to fail to emit debugging info for

   t1, because it was moved inside the (inlined) block of f1, marked

   as abstract, then we'd crash.  */

#define UNUSED __attribute__((unused))

#define EXT __extension__

int undef(void);

inline static void

f1 (int i UNUSED)

{

}

inline static void

f2 (void)

{

  f1 (EXT ({ int t1 UNUSED; undef (); }));

}

inline static void

f3 (void)

{

  int v1 UNUSED;

  int v2 UNUSED;

  EXT ({ int t2 UNUSED; if (0) undef (); 0; })

    && EXT ({ int t3 UNUSED; if (0) undef (); 0; });

  if (1)

    {

      undef ();

      if (1)

        f2 ();

    }

  {

    undef ();

  }

}

inline static void

f4 (void)

{

  EXT ({ undef (); 1; }) && EXT ({ int t4 UNUSED = ({ 1; }); 1; });

  { }

  EXT ({ int t5 UNUSED; if (0) undef (); 0; });

  f4 ();

  undef ();

  f3 ();

  return;

}