gcc/testsuite/c-c++-common/analyzer/calloc-1.c

   1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   2 typedef __SIZE_TYPE__ size_t;
   3
   4 extern void *calloc (size_t __nmemb, size_t __size)
   5   __attribute__ ((__nothrow__ , __leaf__))
   6   __attribute__ ((__malloc__))
   7   __attribute__ ((__alloc_size__ (1, 2))) ;
   8
   9 char *test_1 (size_t sz)
  10 {
  11   char *p;
  12
  13   p = (char *) calloc (1, 3);
  14   if (!p)
  15     return NULL;
  16
  17   __analyzer_dump_capacity (p); /* { dg-warning "capacity: '\\(\[^\n\r\]*\\)3'" } */
  18
  19   __analyzer_eval (p[0] == 0); /* { dg-warning "TRUE" } */
  20   __analyzer_eval (p[1] == 0); /* { dg-warning "TRUE" } */
  21   __analyzer_eval (p[2] == 0); /* { dg-warning "TRUE" } */
  22
  23   return p;
  24 }