MaxOS::runtime::VLABoundNotPositiveInfo Struct Reference

Information about a VLA bound not positive error. More...

#include <ubsan.h>

Public Attributes
source_location_t	location
	The location of the VLA bound not positive.
type_descriptor_t *	type
	The type of the VLA bound.

Detailed Description

Information about a VLA bound not positive error.

Definition at line 159 of file ubsan.h.

Member Data Documentation

location

source_location_t MaxOS::runtime::VLABoundNotPositiveInfo::location

The location of the VLA bound not positive.

Definition at line 161 of file ubsan.h.

Referenced by __ubsan_handle_vla_bound_not_positive().

type

type_descriptor_t* MaxOS::runtime::VLABoundNotPositiveInfo::type

The type of the VLA bound.

Definition at line 162 of file ubsan.h.

---

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

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