annotate test/thunk/test_thunk.c @ 410:7608e34098b0

- cleanups, simplifications, some api clarification, ... - test cases consistency: * return status code depending on test results (for actual conformance tests, not stuff that is not an example or hack to check something, ..) * platform init helper added for some
author Tassilo Philipp
date Tue, 05 Oct 2021 21:53:04 +0200
parents 2144287113df
children 57faec8b7600
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
1 /*
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
2
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
3 Package: dyncall
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
4 Library: test
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
5 File: test/thunk/test_thunk.c
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
6 Description:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
7 License:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
8
384
2144287113df - prep for 1.2 release candidate
Tassilo Philipp
parents: 383
diff changeset
9 Copyright (c) 2011-2021 Daniel Adler <dadler@uni-goettingen.de>,
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
10 Tassilo Philipp <tphilipp@potion-studios.com>
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
11
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
12 Permission to use, copy, modify, and distribute this software for any
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
13 purpose with or without fee is hereby granted, provided that the above
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
14 copyright notice and this permission notice appear in all copies.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
15
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
16 THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
17 WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
18 MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
19 ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
20 WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
21 ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
22 OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
23
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
24 */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
25
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
26 #include "../../dyncall/dyncall.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
27 #include "../../dyncallback/dyncall_thunk.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
28 #include "../../dyncallback/dyncall_alloc_wx.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
29 #include "../common/platformInit.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
30 #include "../common/platformInit.c" /* Impl. for functions only used in this translation unit */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
31
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
32
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
33 /**
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
34 ** test: thunks with several allocation modes
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
35 ** such as on stack, on heap and explicit wx
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
36 **
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
37 **/
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
38
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
39 #include <errno.h>
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
40 #include <signal.h>
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
41 #include <setjmp.h>
176
ff0c8ee2bbc7 - testcode: missing include fixed
cslag
parents: 155
diff changeset
42 #include <string.h>
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
43
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
44 jmp_buf jbuf;
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
45
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
46 static int last_sig;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
47
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
48 void segv_handler(int sig)
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
49 {
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
50 last_sig = sig;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
51 longjmp(jbuf, 1);
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
52 }
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
53
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
54 void my_entry(const char* text)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
55 {
155
bbefb8b8e74c - sparc32 thunk code
cslag
parents: 32
diff changeset
56 printf("%s: %d\n", text, strcmp(text, "wx") == 0 || strcmp(text, "stack") == 0 || strcmp(text, "heap") == 0); /* @@@ */
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
57 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
58
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59 typedef void (printfun)(const char*);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
61 void test_stack()
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
62 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
63 DCThunk t;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
64 printfun* fp;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
65 dcbInitThunk(&t, &my_entry);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
66 fp = (printfun*)&t;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
67 if(setjmp(jbuf) != 0)
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
68 printf(last_sig == SIGSEGV ? "sigsegv\n" : "sigbus\n");
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
69 else
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
70 fp("stack");
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
71 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
72
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
73 #include <stdlib.h>
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
74
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
75 void test_heap()
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
76 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
77 printfun* fp;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
78 DCThunk* p = (DCThunk*)malloc(sizeof(DCThunk));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
79 if(!p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
80 printf("0\n");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
81 return;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
82 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
83 dcbInitThunk(p, &my_entry);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
84 fp = (printfun*)p;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
85 if(setjmp(jbuf) != 0)
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
86 printf(last_sig == SIGSEGV ? "sigsegv\n" : "sigbus\n");
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
87 else
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
88 fp("heap");
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
89 free(p);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
90 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
91
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
92 void test_wx()
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
93 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
94 DCThunk* p;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
95 printfun* fp;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
96 int err = dcAllocWX(sizeof(DCThunk), (void**)&p);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
97 if(err || !p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
98 printf("0\n");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
99 return;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
100 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
101 dcbInitThunk(p, &my_entry);
203
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
102 err = dcInitExecWX((void*)p, sizeof(DCThunk));
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
103 if(err) {
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
104 dcFreeWX((void*)p, sizeof(DCThunk));
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
105 printf("0\n");
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
106 return;
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
107 }
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
108 fp = (printfun*)p;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
109 if(setjmp(jbuf) != 0)
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
110 printf(last_sig == SIGSEGV ? "sigsegv\n" : "sigbus\n");
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
111 else
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
112 fp("wx");
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
113 dcFreeWX((void*)p, sizeof(DCThunk));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
114 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
115
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
116 int main()
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
117 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
118 dcTest_initPlatform();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
119
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
120 /* handle sigsegv and sigbus (latter used on some platforms for some mem */
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
121 /* access errors); use more complex setup if SA_ONSTACK is available */
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
122
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
123 #if defined(SA_ONSTACK)
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
124 /* notes:
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
125 - use sigaction(2) to pass SA_ONSTACK, to handle segfaults on stack (as
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
126 handler would use same stack, this needs to be requested explicitly)
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
127 - not using sigaltstack(2), as no need in our case
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
128 */
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
129 struct sigaction sigAct;
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
130 sigfillset(&(sigAct.sa_mask));
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
131 sigAct.sa_sigaction = segv_handler;
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
132 sigAct.sa_flags = SA_ONSTACK;
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
133 sigaction(SIGSEGV, &sigAct, NULL);
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
134 sigaction(SIGBUS, &sigAct, NULL);
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
135 #else
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
136 signal(SIGSEGV, segv_handler);
381
fccbb45a2dae - test fix: no SIGBUS on windows platforms
Tassilo Philipp
parents: 377
diff changeset
137 #if !defined(DC_WINDOWS)
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
138 signal(SIGBUS, segv_handler);
381
fccbb45a2dae - test fix: no SIGBUS on windows platforms
Tassilo Philipp
parents: 377
diff changeset
139 #endif
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
140 #endif
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
141
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
142
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
143 printf("Allocating ...\n");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
144 printf("... W^X memory: ");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
145 test_wx();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
146 printf("... heap memory: ");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
147 test_heap();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
148 printf("... stack memory: ");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
149 test_stack();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
150
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
151 dcTest_deInitPlatform();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
152
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
153 return 0;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
154 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
155