id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
25	Problem with opaque type definition.	pabuhr		"Fix or remove.

{{{
otype U = int *;  // not working

cfa test.c
CFA Version 1.0.0 (debug)
*CFA assertion error* ""returnVals.front()->get_name() != """""" from program ""cfa-cpp"" in ""void InitTweak::ReturnFixer::premutate(ReturnStmt*)"" at line 143 in file ""InitTweak/GenInit.cc"": Function ?=? has unnamed return value

Stack back trace for: /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp
(0) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : InitTweak::ReturnFixer::premutate(ReturnStmt*)+0x319 [0x548f39]
(1) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<InitTweak::ReturnFixer>::mutate(ReturnStmt*)+0x39 [0x552839]
(2) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : void PassVisitor<InitTweak::ReturnFixer>::handleStatementList<PassVisitor<InitTweak::ReturnFixer>::mutateStatementList(std::__cxx11::list<Statement*, std::allocator<Statement*> >&)::{lambda(Statement*&)#1}>(std::__cxx11::list<Statement*, std::allocator<Statement*> >&, PassVisitor<InitTweak::ReturnFixer>::mutateStatementList(std::__cxx11::list<Statement*, std::allocator<Statement*> >&)::{lambda(Statement*&)#1})+0x142 [0x557392]
(3) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<InitTweak::ReturnFixer>::mutate(CompoundStmt*)+0x37 [0x5577c7]
(4) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : Mutator::mutate(FunctionDecl*)+0x71 [0x653901]
(5) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : PassVisitor<InitTweak::ReturnFixer>::mutate(FunctionDecl*)+0x45 [0x559cf5]
(6) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : InitTweak::ReturnFixer::makeReturnTemp(std::__cxx11::list<Declaration*, std::allocator<Declaration*> >&)+0xa5 [0x5484b5]
(7) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : InitTweak::genInit(std::__cxx11::list<Declaration*, std::allocator<Declaration*> >&)+0x9 [0x549a19]
(8) /u/pabuhr/software/cfa-cc/lib/cfa/cfa-cpp : main(/*unknown*/)+0x5f4 [0x4b0874]
}}}"	defect	closed	major	cfa-cc	1.0	wontfix