mirrors/v
1
0
Fork 0
mirror of https://github.com/vlang/v.git synced 2025-09-13 14:32:26 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 13

cgen: protect against unlimited recursion in type_default_impl, by converting to a verror/1 call instead

Browse source
This commit is contained in:
Delyan Angelov 2025-06-23 14:38:26 +03:00
parent 74080e8fd5
commit d6a3f3160d
No known key found for this signature in database
GPG key ID: 66886C0F12D595ED
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
vlib/v/gen/c/cgen.v
View file

@ -270,6 +270,8 @@ mut:
defer_return_tmp_var string
vweb_filter_fn_name string // vweb__filter or x__vweb__filter, used by $vweb.html() for escaping strings in the templates, depending on which `vweb` import is used
export_funcs []string // for .dll export function names
//
type_default_impl_level int
}
@[heap]
@ -7245,6 +7247,16 @@ fn (mut g Gen) type_default(typ_ ast.Type) string {
}
fn (mut g Gen) type_default_impl(typ_ ast.Type, decode_sumtype bool) string {
g.type_default_impl_level++
defer {
g.type_default_impl_level--
}
if g.type_default_impl_level > 37 {
eprintln('>>> Gen.type_default_impl g.type_default_impl_level: ${g.type_default_impl_level} | typ_: ${typ_} | decode_sumtype: ${decode_sumtype}')
}
if g.type_default_impl_level > 40 {
verror('reached maximum levels of nesting for ${@LOCATION}')
}
typ := g.unwrap_generic(typ_)
if typ.has_flag(.option) {
return '(${g.styp(typ)}){.state=2, .err=_const_none__, .data={E_STRUCT}}'