Skip to content

Fuzzer bugs #2214

@aleksisch

Description

@aleksisch
struct var0{var0<-fixed_array([tuple((0))])
}var r=([[for(r in[[for(r in[]);0]]);var0(var0:=@capture(=v):function<array<auto(r)>> =>0)]])
let{}let{}
variant v{}struct var0{r<-table(0)
}var var0=var0();let{}var v=true
[export]def a{print("{var0.v([v=0])}");}finally{}
var var0:=table(.0.range64()=>true)
let{}let{}[export]def a{print("{var0}");}finally{}

(apparently same stackoverflow as in previous)

bitfield r{}struct v{[export]def const var0(var0=0;r=0as a.t(0,n((0))@{}finally{}>0)[var0([var0=0])]){}finally{let{r=0
}}}def a{}
var var0:=table(.0.int4()=>true);let{}[export]def n{print("{var0}");}finally{}

(next 2 is globals again, probably relates to #2209)

variant var0{}struct var0{v<-new tuple(0,[{for(r in"00000000000000000");""=>v0}][0|>range][0|>range|>range][0|>range][0|>range][0|>range],variant<var0:int>()as var0)
}let v0,r=var0()
[export]def a{print("{v0}");}finally{}
variant var0{}struct var0{r<-new tuple(new tuple(v0)-null)
}var v0,r0=var0()
var r=int()
[export]def a{print("{v0}");}finally{}

(Fatal glibc error: malloc.c:2599 (sysmalloc): assertion failed: (old_top == initial_top (av) && old_size == 0)???)

struct var0{r,v<-fixed_array([[for(var0 in array variant<r:tuple<v:bitfield<> ==&,int2,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,var0,int4,lambda<(r:lambda):float const>,var0,var0,var0,var0,var0,var0,var0>>());var0]])
}var var2=new tuple([[for(r in[[for(r in[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]);var0()]]);var0()]])
let{}let{}[export]def a{print("{var2}");}finally{}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions