1 /* SPDX-License-Identifier: GPL-2.0 */
11 struct type_descriptor
{
17 struct source_location
{
18 const char *file_name
;
20 unsigned long reported
;
28 struct overflow_data
{
29 struct source_location location
;
30 struct type_descriptor
*type
;
33 struct type_mismatch_data
{
34 struct source_location location
;
35 struct type_descriptor
*type
;
36 unsigned long alignment
;
37 unsigned char type_check_kind
;
40 struct type_mismatch_data_v1
{
41 struct source_location location
;
42 struct type_descriptor
*type
;
43 unsigned char log_alignment
;
44 unsigned char type_check_kind
;
47 struct type_mismatch_data_common
{
48 struct source_location
*location
;
49 struct type_descriptor
*type
;
50 unsigned long alignment
;
51 unsigned char type_check_kind
;
54 struct nonnull_arg_data
{
55 struct source_location location
;
56 struct source_location attr_location
;
60 struct vla_bound_data
{
61 struct source_location location
;
62 struct type_descriptor
*type
;
65 struct out_of_bounds_data
{
66 struct source_location location
;
67 struct type_descriptor
*array_type
;
68 struct type_descriptor
*index_type
;
71 struct shift_out_of_bounds_data
{
72 struct source_location location
;
73 struct type_descriptor
*lhs_type
;
74 struct type_descriptor
*rhs_type
;
77 struct unreachable_data
{
78 struct source_location location
;
81 struct invalid_value_data
{
82 struct source_location location
;
83 struct type_descriptor
*type
;
86 #if defined(CONFIG_ARCH_SUPPORTS_INT128) && defined(__SIZEOF_INT128__)
87 typedef __int128 s_max
;
88 typedef unsigned __int128 u_max
;