MaxOS::runtime::TypeMismatchInfoV1 Struct Reference

Information about a type mismatch error (version 1) More...

#include <ubsan.h>

Public Attributes
source_location_t	location
	The location of the type mismatch.
type_descriptor_t *	type
	The type that was expected.
unsigned char	log_alignment
	The log2 of the required alignment.
unsigned char	type_check_kind
	The kind of type check that failed.

Detailed Description

Information about a type mismatch error (version 1)

Definition at line 72 of file ubsan.h.

Member Data Documentation

location

source_location_t MaxOS::runtime::TypeMismatchInfoV1::location

The location of the type mismatch.

Definition at line 74 of file ubsan.h.

Referenced by MaxOS::runtime::UBSanHandler::print_type_mismatch_v1().

log_alignment

unsigned char MaxOS::runtime::TypeMismatchInfoV1::log_alignment

The log2 of the required alignment.

Definition at line 76 of file ubsan.h.

Referenced by MaxOS::runtime::UBSanHandler::print_type_mismatch_v1().

type

type_descriptor_t* MaxOS::runtime::TypeMismatchInfoV1::type

The type that was expected.

Definition at line 75 of file ubsan.h.

Referenced by MaxOS::runtime::UBSanHandler::print_type_mismatch_v1().

type_check_kind

unsigned char MaxOS::runtime::TypeMismatchInfoV1::type_check_kind

The kind of type check that failed.

Definition at line 77 of file ubsan.h.

Referenced by MaxOS::runtime::UBSanHandler::print_type_mismatch_v1().

---

The documentation for this struct was generated from the following file:

• /home/runner/work/MaxOS/MaxOS/kernel/include/runtime/ubsan.h