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
46
47
48
49
50
51
|
/* { dg-additional-options "-O3" } */
#include "analyzer-decls.h"
typedef __SIZE_TYPE__ size_t;
typedef unsigned char Byte;
typedef unsigned int uInt;
typedef unsigned long uLong;
extern size_t strlen(const char *__s) __attribute__((__nothrow__, __leaf__))
__attribute__((__pure__)) __attribute__((__nonnull__(1)));
extern void exit(int __status) __attribute__((__nothrow__, __leaf__))
__attribute__((__noreturn__));
extern char *strcpy(char *__restrict __dest, const char *__restrict __src)
__attribute__((__nothrow__, __leaf__)) __attribute__((__nonnull__(1, 2)));
extern void *calloc(size_t __nmemb, size_t __size)
__attribute__((__nothrow__, __leaf__)) __attribute__((__malloc__));
extern int compress(Byte *dest, uLong *destLen, const Byte *source,
uLong sourceLen);
const char hello[] = "hello, hello!";
void test_compress(Byte *compr, uLong comprLen, Byte *uncompr,
uLong uncomprLen) {
int err;
uLong len = strlen(hello) + 1;
err = compress(compr, &comprLen, (const Byte *)hello, len);
if (err != 0)
exit(1);
strcpy((char *)uncompr, "garbage"); /* { dg-bogus "NULL" } */
}
int main(int argc, char *argv[]) {
Byte *compr, *uncompr;
uLong comprLen = 10000 * sizeof(int);
uLong uncomprLen = comprLen;
compr = (Byte *)calloc((uInt)comprLen, 1);
uncompr = (Byte *)calloc((uInt)uncomprLen, 1);
if (compr == 0 || uncompr == 0)
exit(1);
__analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
test_compress(compr, comprLen, uncompr, uncomprLen);
exit(0);
return 0;
}
|
