MaxOS::runtime::TypeMismatchInfo Struct Reference

Information about a type mismatch error. 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.
uintptr_t	alignment
	The required alignment.
uint8_t	type_check_kind
	The kind of type check that failed.

Detailed Description

Information about a type mismatch error.

Definition at line 56 of file ubsan.h.

Member Data Documentation

alignment

uintptr_t MaxOS::runtime::TypeMismatchInfo::alignment

The required alignment.

Definition at line 60 of file ubsan.h.

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

location

source_location_t MaxOS::runtime::TypeMismatchInfo::location

The location of the type mismatch.

Definition at line 58 of file ubsan.h.

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

type

type_descriptor_t* MaxOS::runtime::TypeMismatchInfo::type

The type that was expected.

Definition at line 59 of file ubsan.h.

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

type_check_kind

uint8_t MaxOS::runtime::TypeMismatchInfo::type_check_kind

The kind of type check that failed.

Definition at line 61 of file ubsan.h.

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

---

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

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