Hi, I can confirm that the '--keepunused' option is needed to trigger this behavior. Without it, CIL produces the expected output, i.e., no parameter names are replaced in the function definition.
I submitted a bug report on SF (#148). Cheers, Oliver On 2014-08-15 21:52, Gabriel Kerneis wrote: > On Fri, Aug 15, 2014 at 09:50:41PM +0200, Gabriel Kerneis wrote: >> This is a bug. Could you please submit it on github or sourceforge so >> that I don't forget about it? > > Well, maybe it's not in fact. I'll have to check the standard. But I > would appreciate a report anyway. > > Thanks, > ------------------------------------------------------------------------------ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
