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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
#include "wvassert.h"
#include "wvcrash.h"
#include <assert.h>
#include <unistd.h>
#include <stdio.h>
#include <sys/types.h>
#include <signal.h>
#include <stdlib.h>
#ifndef ISDARWIN
# include <malloc.h>
#endif
int glob = 5;
int sig = 0;
void zfunc()
{
glob = 99;
}
void yfunc()
{
glob = 6;
zfunc();
if (sig == 0)
*(char *)NULL = 0;
else
kill(getpid(), sig);
glob = 9;
}
void xfunc()
{
glob = 7;
yfunc();
glob = 8;
}
int main(int argc, char **argv)
{
if (argc > 2)
{
printf("wvcrash_setup(argv[0], argv[2]);\n");
wvcrash_setup(argv[0], argv[2]);
}
else
{
printf("wvcrash_setup(argv[0]);\n");
wvcrash_setup(argv[0]);
}
printf("free(malloc(1));\n");
free(malloc(1));
if (argc > 1)
{
printf("sig = atoi(argv[1]);\n");
sig = atoi(argv[1]);
}
printf("wvassert(argc < 6);\n");
wvassert(argc < 6, "%s '%s' '%s' '%s' '%s' '%s'",
argv[0], argv[1], argv[2], argv[3], argv[4], argv[5]);
printf("wvassert(argc < 5);\n");
wvassert(argc < 5);
printf("assert(argc < 4);\n");
assert(argc < 4);
printf("xfunc();\n");
xfunc();
}
|
