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