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
52
53
54
55
56
57
58
|
/* { dg-additional-options "-Wno-analyzer-too-complex" } */
#include "../../gcc.dg/analyzer/analyzer-decls.h"
extern int printf (const char *__restrict __format, ...);
extern int vasprintf (char **__restrict __ptr, const char *__restrict __f,
__builtin_va_list __arg)
__attribute__ ((__nothrow__, __format__ (__printf__, 2, 0))) ;
extern void free (void *__ptr) __attribute__ ((__nothrow__ , __leaf__));
static char * __attribute__ ((__format__ (__printf__, 1, 2)))
zasprintf (const char *format, ...)
{
char *resultp;
__builtin_va_list args;
__builtin_va_start (args, format);
int r = vasprintf (&resultp, format, args);
__builtin_va_end (args);
return r < 0 ? NULL : resultp;
}
int run_test() {
char *buf = NULL;
char *bar = NULL;
char *baz = NULL;
int i = 1232;
printf("static function check\n");
buf = zasprintf("i = %d", i);
if (buf) {
printf("buf = %s\nbuf = %p\n", buf, buf);
}
bar = zasprintf("i = %d - %d", i, i - 13);
if (bar) {
printf("bar = %s\nbar = %p\n", bar, bar);
printf("buf = %s\nbuf = %p\n", buf, buf);
}
baz = zasprintf("No i's here");
if (baz) {
printf("baz = %s\nbaz = %p\n", baz, baz);
printf("bar = %s\nbar = %p\n", bar, bar);
printf("buf = %s\nbuf = %p\n", buf, buf);
}
free(buf);
free(bar);
free(baz);
return 1;
}
int main(int argc, char **argv) {
return run_test();
}
|
