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 nonnull_arg_data
{
41 struct source_location location
;
42 struct source_location attr_location
;
46 struct nonnull_return_data
{
47 struct source_location location
;
48 struct source_location attr_location
;
51 struct vla_bound_data
{
52 struct source_location location
;
53 struct type_descriptor
*type
;
56 struct out_of_bounds_data
{
57 struct source_location location
;
58 struct type_descriptor
*array_type
;
59 struct type_descriptor
*index_type
;
62 struct shift_out_of_bounds_data
{
63 struct source_location location
;
64 struct type_descriptor
*lhs_type
;
65 struct type_descriptor
*rhs_type
;
68 struct unreachable_data
{
69 struct source_location location
;
72 struct invalid_value_data
{
73 struct source_location location
;
74 struct type_descriptor
*type
;
77 #if defined(CONFIG_ARCH_SUPPORTS_INT128) && defined(__SIZEOF_INT128__)
78 typedef __int128 s_max
;
79 typedef unsigned __int128 u_max
;