gcc/testsuite/c-c++-common/analyzer/allocation-size-multiline-1.c

   1 /* { dg-additional-options "-fdiagnostics-path-format=inline-events -fdiagnostics-show-caret" } */
   2
   3 #include <stdint.h>
   4
   5 void test_constant_1 (void)
   6 {
   7   int32_t *ptr = (int32_t *) __builtin_malloc (1); /* { dg-warning "allocated buffer size is not a multiple of the pointee's size" } */
   8   __builtin_free (ptr);
   9 }
  10
  11 /* { dg-begin-multiline-output "" }
  12    int32_t *ptr = (int32_t *) __builtin_malloc (1);
  13                               ^~~~~~~~~~~~~~~~~~~~
  14   'test_constant_1': events 1-2
  15     |
  16     |   int32_t *ptr = (int32_t *) __builtin_malloc (1);
  17     |                              ^~~~~~~~~~~~~~~~~~~~
  18     |                              |
  19     |                              (1) allocated 1 byte here
  20     |                              (2) assigned to 'int32_t *'
  21     |
  22    { dg-end-multiline-output "" { target c } } */
  23 /* { dg-begin-multiline-output "" }
  24    int32_t *ptr = (int32_t *) __builtin_malloc (1);
  25                               ~~~~~~~~~~~~~~~~~^~~
  26   'void test_constant_1()': events 1-2
  27     |
  28     |   int32_t *ptr = (int32_t *) __builtin_malloc (1);
  29     |                              ~~~~~~~~~~~~~~~~~^~~
  30     |                                               |
  31     |                                               (1) allocated 1 byte here
  32     |                                               (2) assigned to 'int32_t*' {aka '{re:long :re?}int*'} here; 'sizeof (int32_t {aka {re:long :re?}int})' is '4'
  33     |
  34    { dg-end-multiline-output "" { target c++ } } */
  35
  36 void test_constant_2 (void)
  37 {
  38   int32_t *ptr = (int32_t *) __builtin_malloc (2); /* { dg-warning "allocated buffer size is not a multiple of the pointee's size" } */
  39   __builtin_free (ptr);
  40 }
  41
  42 /* { dg-begin-multiline-output "" }
  43    int32_t *ptr = (int32_t *) __builtin_malloc (2);
  44                               ^~~~~~~~~~~~~~~~~~~~
  45   'test_constant_2': events 1-2
  46     |
  47     |   int32_t *ptr = (int32_t *) __builtin_malloc (2);
  48     |                              ^~~~~~~~~~~~~~~~~~~~
  49     |                              |
  50     |                              (1) allocated 2 bytes here
  51     |                              (2) assigned to 'int32_t *'
  52     |
  53    { dg-end-multiline-output "" { target c } } */
  54
  55 /* { dg-begin-multiline-output "" }
  56    int32_t *ptr = (int32_t *) __builtin_malloc (2);
  57                               ~~~~~~~~~~~~~~~~~^~~
  58   'void test_constant_2()': events 1-2
  59     |
  60     |   int32_t *ptr = (int32_t *) __builtin_malloc (2);
  61     |                              ~~~~~~~~~~~~~~~~~^~~
  62     |                                               |
  63     |                                               (1) allocated 2 bytes here
  64     |                                               (2) assigned to 'int32_t*' {aka '{re:long :re?}int*'} here; 'sizeof (int32_t {aka {re:long :re?}int})' is '4'
  65     |
  66    { dg-end-multiline-output "" { target c++ } } */
  67
  68 void test_symbolic (int n)
  69 {
  70   int32_t *ptr = (int32_t *) __builtin_malloc (n * 2); /* { dg-warning "allocated buffer size is not a multiple of the pointee's size" } */
  71   __builtin_free (ptr);
  72 }
  73
  74 /* { dg-begin-multiline-output "" }
  75    int32_t *ptr = (int32_t *) __builtin_malloc (n * 2);
  76                               ^~~~~~~~~~~~~~~~~~~~~~~~
  77   'test_symbolic': event 1
  78     |
  79     |   int32_t *ptr = (int32_t *) __builtin_malloc (n * 2);
  80     |                              ^~~~~~~~~~~~~~~~~~~~~~~~
  81     |                              |
  82     |                              (1) allocated 'n * 2' bytes and assigned to 'int32_t *'
  83     |
  84    { dg-end-multiline-output "" { target c } } */
  85
  86 /* { dg-begin-multiline-output "" }
  87    int32_t *ptr = (int32_t *) __builtin_malloc (n * 2);
  88                               ~~~~~~~~~~~~~~~~~^~~~~~~
  89   'void test_symbolic(int)': event 1
  90     |
  91     |   int32_t *ptr = (int32_t *) __builtin_malloc (n * 2);
  92     |                              ~~~~~~~~~~~~~~~~~^~~~~~~
  93     |                                               |
  94     |                                               (1) allocated '(n * 2)' bytes and assigned to 'int32_t*' {aka '{re:long :re?}int*'} here; 'sizeof (int32_t {aka {re:long :re?}int})' is '4'
  95     |
  96    { dg-end-multiline-output "" { target c++ } } */