HelenOS sources

vla_bound_data    102 kernel/generic/src/lib/ubsan.c void __ubsan_handle_vla_bound_not_positive(struct vla_bound_data *data, unsigned long bound);
vla_bound_data    210 kernel/generic/src/lib/ubsan.c void __ubsan_handle_vla_bound_not_positive(struct vla_bound_data *data,
vla_bound_data    104 uspace/lib/c/generic/ubsan.c void __ubsan_handle_vla_bound_not_positive(struct vla_bound_data *data, unsigned long bound);
vla_bound_data    214 uspace/lib/c/generic/ubsan.c void __ubsan_handle_vla_bound_not_positive(struct vla_bound_data *data,
HelenOS homepage, sources at GitHub