blob: 2ecad8c2f0ba1e53872ac56ff3df44d7845eec01 (
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
|
/* Verify that deduplication of -Wanalyzer-write-to-string-literal (and their
notes) works. */
/* { dg-additional-options "-fanalyzer-show-duplicate-count" } */
#include "../../gcc.dg/analyzer/analyzer-decls.h"
typedef __SIZE_TYPE__ size_t;
int getrandom (void *__buffer, size_t __length,
/* { dg-message "parameter 1 of 'getrandom' marked with attribute 'access \\(write_only, 1, 2\\)'" "" { target c } .-1 } */
/* { dg-message "parameter 1 of 'int getrandom\\(void\\*, size_t, unsigned int\\)' marked with attribute 'access \\(write_only, 1, 2\\)'" "" { target c++ } .-2 } */
unsigned int __flags)
__attribute__ ((access (__write_only__, 1, 2)));
#define GRND_RANDOM 0x02
void *test (int flag)
{
char *ptr;
if (flag)
ptr = (char *) __builtin_malloc (1024);
else
ptr = (char *) __builtin_alloca (1024);
__analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */
if (getrandom((char *)"foo", 3, GRND_RANDOM)) /* { dg-warning "write to string literal" "warning" } */
/* { dg-message "1 duplicate" "dup" { target *-*-* } .-1 } */
__builtin_printf("ok\n");
return ptr;
}
|
