gcc/testsuite/c-c++-common/analyzer/out-of-bounds-diagram-3.c

   1 /* The multiline output assumes sizeof(size_t) == 8.
   2    { dg-require-effective-target lp64 } */
   3
   4 /* { dg-additional-options "-fdiagnostics-text-art-charset=unicode" } */
   5
   6 #include <stdlib.h>
   7 #include <string.h>
   8 #include <stdint.h>
   9
  10 struct str {
  11   size_t len;
  12   char data[];
  13 };
  14
  15 struct str *
  16 make_str_badly (const char *src)
  17 {
  18   size_t len = strlen(src);
  19   struct str *str = (struct str *) malloc(sizeof(str) + len); /* { dg-message "\\(1\\) capacity: 'len \\+ 8' bytes" "" { target c } } */
  20   /* { dg-message "\\(1\\) capacity: '\\(len \\+ 8\\)' bytes" "" { target c++ } .-1 } */
  21   if (!str)
  22     return NULL;
  23   str->len = len;
  24   memcpy(str->data, src, len);
  25   str->data[len] = '\0'; /* { dg-warning "heap-based buffer overflow" } */
  26   return str;
  27 }
  28
  29 /* { dg-begin-multiline-output "" }
  30
  31                                       ┌──────────────────────────────────┐
  32                                       │       write of '(char) 0'        │
  33                                       └──────────────────────────────────┘
  34                                                        │
  35                                                        │
  36                                                        v
  37   ┌──────────────────────────────────┐┌──────────────────────────────────┐
  38   │ buffer allocated on heap at (1)  ││        after valid range         │
  39   └──────────────────────────────────┘└──────────────────────────────────┘
  40   ├────────────────┬─────────────────┤├────────────────┬─────────────────┤
  41                    │                                   │
  42       ╭────────────┴────────────╮            ╭─────────┴────────╮
  43       │capacity: 'len + 8' bytes│            │overflow of 1 byte│
  44       ╰─────────────────────────╯            ╰──────────────────╯
  45
  46    { dg-end-multiline-output "" } */