sparse missing bitwise warnings with dubious bitfields

sparse missing bitwise warnings with dubious bitfields

[Johannes Berg]

[-- Attachment #1: Type: text/plain, Size: 689 bytes --]

Hi,

Not sure if this is intended but it is surely quite weird. Take the
following code:

--- begin code ---
#ifdef DUBIOUS
struct {  
  int x:1;
};
#endif

typedef unsigned short __attribute__((bitwise)) __le32;

int main(int argc, char **argv)
{
  __le32 i = 5;
}
--- end code ---

and save it as test.c, and then observe:

$ sparse test.c
test.c:11:14: warning: incorrect type in initializer (different base types)
test.c:11:14:    expected restricted unsigned short [usertype] i
test.c:11:14:    got int 

$ sparse test.c -DDUBIOUS
test.c:3:10: error: dubious one-bit signed bitfield

[note that no warning about the bitwise error is there!]

johannes

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 190 bytes --]

Re: sparse missing bitwise warnings with dubious bitfields

[Al Viro]

On Fri, Jun 08, 2007 at 10:24:10AM +0200, Johannes Berg wrote:
> $ sparse test.c -DDUBIOUS
> test.c:3:10: error: dubious one-bit signed bitfield
> 
> [note that no warning about the bitwise error is there!]

... or any other warnings, for that matter.

Error turns the warnings off.