1  /* Test compilation of stubs with various qualifiers - const, restrict and
       2     volatile.
       3  
       4     Testcase includes a std header to allow testing of shared types across
       5     files.  Only one CTF record for int is expected.
       6     
       7     CTF records for CVR qualifiers are no-name records.  In this testcase, there
       8     are 5 qualifiers across constructs.  2 more no-name CTF records correspond to
       9     CTF pointer records.
      10  
      11      TYPEID: name string (size) -> ref TYPEID : ref name string (size) -> ...
      12  
      13     Types:
      14        1: long int (size 0x8)
      15        2: long unsigned int (size 0x8)
      16        3: size_t (size 0x8) -> 2: long unsigned int (size 0x8)
      17        4: int (size 0x4)
      18        5: const int (size 0x4) -> 4: int (size 0x4)
      19        6: volatile const int (size 0x4) -> 5: const int (size 0x4) -> 4: int (size 0x4)
      20        7: long long int (size 0x8)
      21        8: long double (size 0x10)
      22        9: int * (size 0x8) -> 4: int (size 0x4)
      23        a: int *restrict (size 0x8) -> 9: int * (size 0x8) -> 4: int (size 0x4)
      24        b: const int * (size 0x8) -> 5: const int (size 0x4) -> 4: int (size 0x4)
      25        c: const int *restrict (size 0x8) -> b: const int * (size 0x8) -> 5: const int (size 0x4) -> 4: int (size 0x4)
      26        d: INTP (size 0x8) -> 9: int * (size 0x8) -> 4: int (size 0x4)
      27        e: const INTP (size 0x8) -> d: INTP (size 0x8) -> 9: int * (size 0x8) -> 4: int (size 0x4)
      28        f: void (size 0x0)
      29        10: void (*) (size_t, int *restrict, const int *restrict) (size 0x0)
      30      */
      31  
      32  /* { dg-do compile )  */
      33  /* { dg-options "-O0 -gctf -dA" } */
      34  /* { dg-options "-O0 -gctf -gdwarf-4 -dA" { target { *-*-darwin* } } } */
      35  
      36  /* { dg-final { scan-assembler-times "ascii \"int.0\"\[\t \]+\[^\n\]*ctf_string" 1 } } */
      37  /* { dg-final { scan-assembler-times "\[\t \]0\[\t \]+\[^\n\]*ctt_name" 7 } } */
      38  
      39  /* type id 9, b have POINTER type.  */
      40  /* { dg-final { scan-assembler-times "\[\t \]0xe000000\[\t \]+\[^\n\]*ctt_info" 2 } } */
      41  
      42  /* type id 5, e have CONST qualifier.  */
      43  /* { dg-final { scan-assembler-times "\[\t \]0x32000000\[\t \]+\[^\n\]*ctt_info" 2 } } */
      44  
      45  /* type id a, c have RESTRICT qualifier.  */
      46  /* { dg-final { scan-assembler-times "\[\t \]0x36000000\[\t \]+\[^\n\]*ctt_info" 2 } } */
      47  
      48  /* type id 6 has VOLATILE qualifier.  */
      49  /* { dg-final { scan-assembler-times "\[\t \]0x2e000000\[\t \]+\[^\n\]*ctt_info" 1 } } */
      50  
      51  #include "stddef.h"
      52  
      53  const volatile int a = 5;
      54  int *restrict b;
      55  
      56  const int * i;
      57  int const * j;
      58  
      59  typedef int * INTP;
      60  const INTP int_p;
      61  
      62  void foo (size_t n, int *restrict p, const int *restrict q)
      63  {
      64    while (n-- > 0)
      65      *p++ = *q++;
      66  }