1 /*
2 * SPDX-License-Identifier: BSD-3-Clause
3 *
4 * Copyright © 2023 Keith Packard
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 *
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 *
13 * 2. Redistributions in binary form must reproduce the above
14 * copyright notice, this list of conditions and the following
15 * disclaimer in the documentation and/or other materials provided
16 * with the distribution.
17 *
18 * 3. Neither the name of the copyright holder nor the names of its
19 * contributors may be used to endorse or promote products derived
20 * from this software without specific prior written permission.
21 *
22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
23 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
24 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
25 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
26 * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
27 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
28 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
29 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
31 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
32 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
33 * OF THE POSSIBILITY OF SUCH DAMAGE.
34 */
35
36 #include <signal.h>
37 #include <stdio.h>
38 #include <stdlib.h>
39 #include <stdbool.h>
40
41 #ifdef __GNUC__
42 #pragma GCC diagnostic ignored "-Wpragmas"
43 #pragma GCC diagnostic ignored "-Wunknown-warning-option"
44 #pragma GCC diagnostic ignored "-Wanalyzer-unsafe-call-within-signal-handler"
45 #endif
46
47 /*
48 * When sanitize-trap-on-error=true, we shouldn't see a signal raised,
49 * instead the application should just exit with an error. And, in
50 * this case, the test framework expects that behavior.
51 */
52
53 static void
abrt_handler(int sig)54 abrt_handler(int sig)
55 {
56 if (sig == (int) SIGABRT)
57 _Exit(0);
58 else {
59 #ifdef TINY_STDIO
60 printf("unexpected signal %d\n", sig);
61 fflush(stdout);
62 #endif
63 #ifdef SANITIZE_TRAP_ON_ERROR
64 _Exit(0);
65 #else
66 _Exit(2);
67 #endif
68 }
69 }
70
71 static volatile int ten = 10;
72
73 #ifdef __GNUC__
74 #pragma GCC diagnostic ignored "-Wpragmas"
75 #pragma GCC diagnostic ignored "-Wunknown-warning-option"
76 /* 'bsize' is used directly with malloc/realloc which confuses -fanalyzer */
77 #pragma GCC diagnostic ignored "-Wanalyzer-out-of-bounds"
78 #endif
79
main(void)80 int main(void)
81 {
82 int array[10];
83 (void) signal(SIGABRT, abrt_handler);
84 array[ten] = 10;
85 printf("value %d\n", array[ten]);
86 printf("ubsan test failed\n");
87 #ifdef SANITIZE_TRAP_ON_ERROR
88 exit(0);
89 #else
90 exit(1);
91 #endif
92 }
93
