gcc/testsuite/gcc.dg/debug/dwarf2/inline6.c

   1 /* DWARF5 variant of inline2.
   2    Origin: PR debug/37801
   3
   4   Abstract instances (DW_TAG_subroutines having the DW_AT_inline attribute)
   5   of second and first were having a DW_TAG_lexical_block DIE wrongly
   6   representing the inlined calls to third (in second) and to
   7   second (in first). At the same time, main didn't have children
   8   DW_TAG_inlined_subroutine DIEs representing the inlined calls to
   9   first, second and third.
  10
  11   The ideal goal here is to test that we have no superfluous
  12   DW_TAG_lexical_block DIE anymore, that abstract instances DIEs have
  13   no descendant DIE with a DW_AT_abstract_origin attribute, and that main has
  14   properly nested DW_TAG_inlined_subroutine DIEs for third, second and first.
  15 */
  16
  17 /* Explicitly use dwarf-5 which uses DW_FORM_implicit_const.  */
  18 /* { dg-do compile } */
  19 /* { dg-options "-O -g3 -gdwarf-5 -dA -fgnu89-inline" } */
  20
  21 /* There are 6 inlined subroutines:
  22    - One for each subroutine inlined into main, that's 3.
  23    - One for earch subroutine inline into the out of line instances
  24      of third, second and first.  */
  25 /* { dg-final { scan-assembler-times "\\(DIE \\(\[^\n\]*\\) DW_TAG_inlined_subroutine" 6 } } */
  26
  27 /* We should have no DW_TAG_lexical_block DIEs, all inline instances
  28    should have the first subblock elided to match the abstract instance
  29    layout.  */
  30 /* { dg-final { scan-assembler-times "\\(DIE \\(\[^\n\]*\\) DW_TAG_lexical_block" 0 } } */
  31
  32
  33 /* There are 3 DW_AT_inline attributes: one per abstract inline instance.
  34    The value of the attribute must be 0x3, meaning the function was
  35    actually inlined.  */
  36 /* { dg-final { scan-assembler-times  " DW_AT_inline \\(0x3\\)" 3 } } */
  37
  38 volatile int *a;
  39
  40 inline void
  41 third (int arg3)
  42 {
  43   int var3 = arg3;
  44   a[0] = var3;
  45 }
  46
  47 inline void
  48 second (int arg2)
  49 {
  50   int var2 = arg2;
  51   third (var2+1);
  52 }
  53
  54 inline void
  55 first (int arg1)
  56 {
  57   int var1 = arg1;
  58   second (var1+1);
  59 }
  60
  61 int
  62 main ()
  63 {
  64   int some_int = 1;
  65   first (some_int);
  66   return 0;
  67 }
  68
  69