On Fri, Aug 15, 2014 at 06:10:45PM +0200, Oliver Schwahn wrote:
> input:
> --------------------------
> int foo(int a, int b)
> {
> return a + b;
> }
> int foo(int aa, int bb);
> --------------------------
>
> CIL output
> --------------------------
> int foo(int aa , int bb )
> {
> {
> return (a + b);
> }
> }
> --------------------------
>
> Is the CIL behavior a bug that should be fixed?
This is a bug. Could you please submit it on github or sourceforge so
that I don't forget about it?
Oddly enough, it seems to only trigger for me if I add --keepunused
option. Can you confirm this?
Best,
--
Gabriel
------------------------------------------------------------------------------
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
