Skip to content

Fuzzer bugs #3065

@aleksisch

Description

@aleksisch

Assertion failure:

require UnitTest
struct template var0;[export]def v(r:var0){}[export]def y{}

Folding:

class v{}struct template v2{r=i((3?reinterpret<bitfield<>>(([],)<(0>t))as r*([{for((v)in@@o[[]]>(2)>5,(v));(0[((3>(k())>new<a<v>>()-0)) as  t8 ])%(9)%(99)% o }
].) ?[ (T )] .. 2:[  ]), (3));
}enum v{
}

[export]
def ma{
 return  float4 ( uint (),2,-9,3);
}

type inference:

def var0(v;r:var0<-{}){}tuple var0{}[export]def n{while(var0<|0){}finally{([])}}

AOT:

 module vate ;
require UnitTest
 class var1;
 variant var3{
var3:var1}


def main{
 for (var3 in [@ => (( array  tuple <var2: function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < function < lambda <var1# ??  ?? >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> == &>()),8,8,8,00000000,8,8,8,8,8,8, unsafe ( array  tuple <var2: function < lambda <var1# ??  ?? >> == &>()),8,8,8,8,8,8,8,8,8, float4 (),8,8,8,8,8,8,0000000000000000,@() =>  UNIT_TEST_CONSTANT > CppS2DOffset (),8,8,8,8,8,8,8,8,8)]){
;
;
}
}

fails with: /tmp/v.cpp:89:15: error: static assertion failed due to requirement 'sizeof(das::_anon_2869299975428060297::vate::_lambda_vate_9_2) == 16': structure size mismatch with DAS

AOT:

require UnitTest
struct template v{r:f<v><-(0)[e(){}];def a:n<c>{}finally{}}[export]def n{testFoo(makeDummy())}

fails with: /tmp/v.cpp:80:5: error: use of undeclared identifier 'testFoo'

AOT:

require UnitTest
 struct var1;
 enum var1{
,}
 var var1 := (var2 <-  UNIT_TEST_CONSTANT ,var3 :=  makeSampleS ());
 variant var3{
}

[export]
def main{
 pass ;
}

Fails with:

/tmp/v.cpp:62:1: error: use of 'var1' with tag type that does not match previous declaration
   62 | enum class var1 : int32_t {
      | ^
/tmp/v.cpp:54:21: note: previous use is here
   54 | namespace  { struct var1; };
      |    

AOT:

module r
require UnitTest
class template v{v=t()[C()]}[export]def a{unsafe{}finally{let(r)&:=(table<SceneNodeId==&,bitfield<v>>(),true)}
}

Fails with:

/tmp/v.cpp:140:38: error: use of undeclared identifier '__r_rename_at_3_13_ConstRef'; did you mean '__r_rename_at_3_13'?
  140 |         __r_rename_at_3_13; das_zero(__r_rename_at_3_13_ConstRef); das_move(__r_rename_at_3_13_ConstRef, ((TTuple<72,TTable<SceneNodeId,Bitfield>,bool> *)&(_FuncbuiltinTickclone_to_moveTick12916693586427725782_a9c024c135c6101e(__context__,das_arg<TTuple<72,TTable<SceneNodeId,Bitfield>,bool>>::pass((([&]() -> TTuple<72,TTable<SceneNodeId,Bitfield>,bool>& {
      |                                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~
      |                                      __r_rename_at_3_13

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions