gcc/testsuite/c-c++-common/analyzer/capacity-2.c

   1 /* { dg-skip-if "" { powerpc*-*-aix* } } */
   2
   3 #include <stdlib.h>
   4 #include "analyzer-decls.h"
   5
   6 extern void might_realloc (void *);
   7 extern void cant_realloc (const void *);
   8
   9 void *
  10 test_realloc_1 (void *p, size_t new_sz)
  11 {
  12   void *q = realloc (p, new_sz);
  13   __analyzer_dump_capacity (q); /* { dg-warning "capacity: 'UNKNOWN\\(sizetype\\)'" "failure" } */
  14   /* { dg-warning "capacity: 'INIT_VAL\\(new_sz\[^\n\r\]*\\)'" "success" { target *-*-* } .-1 } */
  15   return q;
  16 }
  17
  18 void *
  19 test_realloc_2 (size_t sz_a, size_t sz_b)
  20 {
  21   void *p = malloc (sz_a);
  22   __analyzer_dump_capacity (p); /* { dg-warning "capacity: 'INIT_VAL\\(sz_a_\[^\n\r\]*\\)'" } */
  23   void *q = realloc (p, sz_b);
  24   __analyzer_dump_capacity (q); /* { dg-warning "capacity: 'UNKNOWN\\(sizetype\\)'" "failure" } */
  25   /* { dg-warning "capacity: 'INIT_VAL\\(sz_b\[^\n\r\]*\\)'" "success" { target *-*-* } .-1 } */
  26   return q; /* { dg-warning "leak of 'p'" } */
  27 }
  28
  29 void *
  30 test_might_realloc (void)
  31 {
  32   void *p = malloc (1024);
  33
  34   __analyzer_dump_capacity (p); /* { dg-warning "capacity: '\\(size_t\\)1024'" } */
  35
  36   might_realloc (p);
  37
  38   __analyzer_dump_capacity (p); /* { dg-warning "capacity: 'UNKNOWN\\(sizetype\\)'" } */
  39
  40   return p;
  41 }
  42
  43 void *
  44 test_cant_realloc (void)
  45 {
  46   void *p = malloc (1024);
  47
  48   __analyzer_dump_capacity (p); /* { dg-warning "capacity: '\\(size_t\\)1024'" } */
  49
  50   cant_realloc (p);
  51
  52   __analyzer_dump_capacity (p); /* { dg-warning "capacity: '\\(size_t\\)1024'" } */
  53
  54   return p;
  55 }
  56
  57