id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
270	No NoCtor	pabuhr		"While attempting to create a CFA NoCtor, I hit a show-stopper bug. Something is generating bad C code that fails. Note, the use of sizeof(T) in a generic type, which may not have been tested before.
<<<
forall( T & | sized(T) )
	struct NoCtor {
		char storage[sizeof(T)];
	};
forall( T )
	void ctor( NoCtor(T) & t ) { (*(T *)t.storage){}; }
test1.cfa: In function '_X4ctorQ1_0_0_4__X16_operator_assignFBD0_BD0BD0__X12_constructorFv_BD0__X12_constructorFv_BD0BD0__X11_destructorFv_BD0__Fv_S6NoCtor_BD0___1':
test1.cfa:5:17: error: '_sizeof_Y12__T_generic_' undeclared (first use in this function)
    5 |   char storage[sizeof(T)];
      |                 ^~~~~~~~~~             
test1.cfa:5:17: note: each undeclared identifier is reported only once for each function it appears in
>>>"	defect	new	minor	cfa-cc	1.0