[thirdparty/linux.git] / lib / ubsan.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _LIB_UBSAN_H
#define _LIB_UBSAN_H

enum {
	type_kind_int = 0,
	type_kind_float = 1,
	type_unknown = 0xffff
};

struct type_descriptor {
	u16 type_kind;
	u16 type_info;
	char type_name[1];
};

struct source_location {
	const char *file_name;
	union {
		unsigned long reported;
		struct {
			u32 line;
			u32 column;
		};
	};
};

struct overflow_data {
	struct source_location location;
	struct type_descriptor *type;
};

struct type_mismatch_data {
	struct source_location location;
	struct type_descriptor *type;
	unsigned long alignment;
	unsigned char type_check_kind;
};

struct type_mismatch_data_v1 {
	struct source_location location;
	struct type_descriptor *type;
	unsigned char log_alignment;
	unsigned char type_check_kind;
};

struct type_mismatch_data_common {
	struct source_location *location;
	struct type_descriptor *type;
	unsigned long alignment;
	unsigned char type_check_kind;
};

struct nonnull_arg_data {
	struct source_location location;
	struct source_location attr_location;
	int arg_index;
};

struct out_of_bounds_data {
	struct source_location location;
	struct type_descriptor *array_type;
	struct type_descriptor *index_type;
};

struct shift_out_of_bounds_data {
	struct source_location location;
	struct type_descriptor *lhs_type;
	struct type_descriptor *rhs_type;
};

struct unreachable_data {
	struct source_location location;
};

struct invalid_value_data {
	struct source_location location;
	struct type_descriptor *type;
};

#if defined(CONFIG_ARCH_SUPPORTS_INT128)
typedef __int128 s_max;
typedef unsigned __int128 u_max;
#else
typedef s64 s_max;
typedef u64 u_max;
#endif

#endif
Commit	Line	Data
b2441318	1	/* SPDX-License-Identifier: GPL-2.0 */
c6d30853 AR	2	#ifndef _LIB_UBSAN_H
	3	#define _LIB_UBSAN_H
	4
	5	enum {
	6	type_kind_int = 0,
	7	type_kind_float = 1,
	8	type_unknown = 0xffff
	9	};
	10
	11	struct type_descriptor {
	12	u16 type_kind;
	13	u16 type_info;
	14	char type_name[1];
	15	};
	16
	17	struct source_location {
	18	const char *file_name;
	19	union {
	20	unsigned long reported;
	21	struct {
	22	u32 line;
	23	u32 column;
	24	};
	25	};
	26	};
	27
	28	struct overflow_data {
	29	struct source_location location;
	30	struct type_descriptor *type;
	31	};
	32
	33	struct type_mismatch_data {
	34	struct source_location location;
	35	struct type_descriptor *type;
42440c1f AR	36	unsigned long alignment;
	37	unsigned char type_check_kind;
	38	};
	39
	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;
	45	};
	46
	47	struct type_mismatch_data_common {
	48	struct source_location *location;
	49	struct type_descriptor *type;
c6d30853 AR	50	unsigned long alignment;
	51	unsigned char type_check_kind;
	52	};
	53
	54	struct nonnull_arg_data {
	55	struct source_location location;
	56	struct source_location attr_location;
	57	int arg_index;
	58	};
	59
c6d30853 AR	60	struct out_of_bounds_data {
	61	struct source_location location;
	62	struct type_descriptor *array_type;
	63	struct type_descriptor *index_type;
	64	};
	65
	66	struct shift_out_of_bounds_data {
	67	struct source_location location;
	68	struct type_descriptor *lhs_type;
	69	struct type_descriptor *rhs_type;
	70	};
	71
	72	struct unreachable_data {
	73	struct source_location location;
	74	};
	75
	76	struct invalid_value_data {
	77	struct source_location location;
	78	struct type_descriptor *type;
	79	};
	80
c12d3362	81	#if defined(CONFIG_ARCH_SUPPORTS_INT128)
c6d30853 AR	82	typedef __int128 s_max;
	83	typedef unsigned __int128 u_max;
	84	#else
	85	typedef s64 s_max;
	86	typedef u64 u_max;
	87	#endif
	88
	89	#endif