1  typedef __SIZE_TYPE__ size_t;
       2  
       3  int getrandom (void *__buffer, size_t __length, /* { dg-message "parameter 1 of 'getrandom' marked with attribute 'access \\(write_only, 1, 2\\)'" } */
       4  	       unsigned int __flags)
       5    __attribute__ ((access (__write_only__, 1, 2)));
       6  
       7  #define GRND_RANDOM 0x02
       8  
       9  void test (void)
      10  {
      11    char buf[16];
      12  
      13    if (getrandom(test, 16, GRND_RANDOM)) /* { dg-warning "write to function 'test'" } */
      14      __builtin_printf("%s\n", buf);
      15  }