[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <4681AF87.3000301@knosof.co.uk>
Date: Wed, 27 Jun 2007 01:29:59 +0100
From: Derek M Jones <derek@...sof.co.uk>
To: Al Viro <viro@....linux.org.uk>
CC: Neil Booth <neil@...kokuya.co.uk>,
Josh Triplett <josh@...edesktop.org>,
Segher Boessenkool <segher@...nel.crashing.org>,
Linus Torvalds <torvalds@...ux-foundation.org>,
linux-kernel@...r.kernel.org, linux-sparse@...r.kernel.org
Subject: Re: [PATCH 16/16] fix handling of integer constant expressions
Al Viro wrote:
>>> Hopefully correct handling of integer constant expressions. Please, review.
>> Am I invoking sparse wrongly? ./sparse -W -Wall doesn't diagnose
>> the following TU, for example.
>>
>> extern int a;
>> extern int as1[(a = 2)];
>
> sparse simply doesn't check that. We don't have anything resembling
> support of VLA.
If it did support VLAs it would point out that this is
a constraint violation. VLAs must have block or function
prototype scope.
--
Derek M. Jones tel: +44 (0) 1252 520 667
Knowledge Software Ltd mailto:derek@...sof.co.uk
Applications Standards Conformance Testing http://www.knosof.co.uk
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists