gcc/testsuite/c-c++-common/analyzer/write-to-string-literal-5.c

   1 /* Verify that deduplication of -Wanalyzer-write-to-string-literal (and their
   2    notes) works.  */
   3
   4 /* { dg-additional-options "-fanalyzer-show-duplicate-count" } */
   5 /* { dg-require-effective-target alloca } */
   6
   7 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   8
   9 typedef __SIZE_TYPE__ size_t;
  10
  11 int getrandom (void *__buffer, size_t __length,
  12                /* { dg-message "parameter 1 of 'getrandom' marked with attribute 'access \\(write_only, 1, 2\\)'" "" { target c } .-1 } */
  13                /* { dg-message "parameter 1 of 'int getrandom\\(void\\*, size_t, unsigned int\\)' marked with attribute 'access \\(write_only, 1, 2\\)'" "" { target c++ } .-2 } */
  14                unsigned int __flags)
  15   __attribute__ ((access (__write_only__, 1, 2)));
  16
  17 #define GRND_RANDOM 0x02
  18
  19 void *test (int flag)
  20 {
  21   char *ptr;
  22   if (flag)
  23     ptr = (char *) __builtin_malloc (1024);
  24   else
  25     ptr = (char *) __builtin_alloca (1024);
  26
  27   __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */
  28
  29   if (getrandom((char *)"foo", 3, GRND_RANDOM)) /* { dg-warning "write to string literal" "warning" } */
  30     /* { dg-message "1 duplicate" "dup" { target *-*-* } .-1 } */
  31     __builtin_printf("ok\n");
  32
  33   return ptr;
  34 }