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