Viewing file:  zlib-5.c (1.55 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { 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;
}
|
