On Tue, May 15, 2012 at 10:43:56PM +0200, Smets, Jan (Jan) wrote:
> > We could modify the "unused variables" analysis to also
> > remove unused labels.
>
> That would be great.
I just pushed a change to fix this issue:
http://github.com/kerneis/cil/commit/23f2f201e003421699517ca872d148c56b2598ab
> -Original Message-
> From: Gabriel Kerneis [mailto:kern...@pps.jussieu.fr]
> Sent: dinsdag 15 mei 2012 15:16
> To: Smets, Jan (Jan)
> Cc: cil-users@lists.sourceforge.net
> Subject: Re: [CIL users] Unused __Cont label
>
> On Tue, May 15, 2012 at 02:39:52PM +0200
On Tue, May 15, 2012 at 02:39:52PM +0200, Smets, Jan (Jan) wrote:
> How can I hack in the unused attribute?
Currently, CIL does not support attributes for labels. Do you have some
evidence that it is supported by the C standard / gcc / whatever?
> Or is there another way to fix this?
We could m
Hi
I'm upgrading from CIL 1.3.6 to CIL 1.4.0 and we use -Wall -Werror to compile.
GCC complains about unused labels, take this illustrative example:
int main()
{
int i;
for(i = 0; i < 4; i++)
{
char * pTest;
if(!pTest) continue;
else break;
}
return 0;
}
/* Generated by
