Latest "Don't allow normal users to set idle IO priority" kernel.
.git/HEAD f6fdd7d9c273bb2a20ab467cb57067494f932fa3
net/ipv4/ipmr.c survives sparsing on i386, parisc, ppc, ppc64, sparc,
sparc64, x86_64.
Log for, say, ppc64 is the same, except
net/ipv4/ipmr.c:1444:11: warning: unknown expression (8 46)
net/ipv4/ipmr.c:1445:6: warning: unknown expression (8 46)
net/ipv4/ipmr.c:1445:30: warning: unknown expression (13 0)
net/ipv4/ipmr.c:1445:48: warning: unknown expression (8 46)
net/ipv4/ipmr.c:1493:22: warning: call with no type!
net/ipv4/ipmr.c:1494:21: warning: call with no type!
net/ipv4/ipmr.c:1500:11: warning: unknown expression (8 46)
net/ipv4/ipmr.c:1501:6: warning: unknown expression (8 46)
net/ipv4/ipmr.c:1501:30: warning: unknown expression (13 0)
net/ipv4/ipmr.c:1501:48: warning: unknown expression (8 46)
is attached after warning about line 1499 and sparse exits.
Feeding preprocessed source directly to sparse gives negative result.
Bastard somehow survives.
===========================================================================
Log for s390:
make -f scripts/Makefile.build obj=net/ipv4 net/ipv4/ipmr.o
sparse -Wbitwise -D__linux__ -Dlinux -D__STDC__ -Dunix -D__unix__ -nostdinc
-isystem /usr/lib/gcc/s390-unknown-linux-gnu/3.4.4/include
-Wp,-MD,net/ipv4/.ipmr.o.d -nostdinc -isystem
/usr/lib/gcc/s390-unknown-linux-gnu/3.4.4/include -D__KERNEL__ -Iinclude -Wall
-Wstrict-prototypes -Wno-trigraphs -fno-strict-aliasing -fno-common
-ffreestanding -Os -fomit-frame-pointer -g -m64 -mbackchain -msoft-float
-march=z900 -finline-limit=10000 -pipe -fno-strength-reduce -Wno-sign-compare
-Wdeclaration-after-statement -DKBUILD_BASENAME=ipmr -DKBUILD_MODNAME=ipmr
net/ipv4/ipmr.c ;
net/ipv4/ipmr.c:141:26: warning: incorrect type in assignment (different
address spaces)
net/ipv4/ipmr.c:141:26: expected void [noderef] *ifru_data<asn:1>
net/ipv4/ipmr.c:141:26: got void *<noident>
net/ipv4/ipmr.c:571:26: warning: cast to restricted type
net/ipv4/ipmr.c:571:24: warning: incorrect type in assignment (different base
types)
net/ipv4/ipmr.c:571:24: expected unsigned short [unsigned] [usertype] tot_len
net/ipv4/ipmr.c:571:24: got restricted unsigned short [usertype] [force]
<noident>
net/ipv4/ipmr.c:595:22: warning: incorrect type in assignment (different base
types)
net/ipv4/ipmr.c:595:22: expected unsigned short [unsigned] [usertype] tot_len
net/ipv4/ipmr.c:595:22: got restricted unsigned short [usertype] [force]
<noident>
net/ipv4/ipmr.c:737:6: warning: incompatible types for operation (&)
net/ipv4/ipmr.c:737:6: left side has type unsigned int [unsigned] [usertype]
s_addr
net/ipv4/ipmr.c:737:6: right side has type restricted unsigned int
[usertype] [force] <noident>
net/ipv4/ipmr.c:1109:15: warning: incorrect type in assignment (different base
types)
net/ipv4/ipmr.c:1109:15: expected unsigned short [unsigned] [usertype]
tot_len
net/ipv4/ipmr.c:1109:15: got restricted unsigned short [usertype] [force]
<noident>
include/net/ip.h:192:20: warning: incompatible types for operation (&)
include/net/ip.h:192:20: left side has type unsigned short [unsigned]
[assigned] [usertype] frag_off
include/net/ip.h:192:20: right side has type restricted unsigned short
[usertype] [force] <noident>
include/net/ip.h:198:11: warning: incorrect type in assignment (different base
types)
include/net/ip.h:198:11: expected unsigned short [unsigned] [usertype] id
include/net/ip.h:198:11: got restricted unsigned short
net/ipv4/ipmr.c:1180:47: warning: cast to restricted type
include/net/ip.h:175:8: warning: incorrect type in assignment (different base
types)
include/net/ip.h:175:8: expected unsigned int [unsigned] [usertype] check
include/net/ip.h:175:8: got restricted unsigned short [usertype] [force]
<noident>
net/ipv4/ipmr.c:1433:17: warning: incompatible types for operation (!=)
net/ipv4/ipmr.c:1433:17: left side has type unsigned int [unsigned]
[usertype] group
net/ipv4/ipmr.c:1433:17: right side has type restricted unsigned int
[usertype] [force] <noident>
net/ipv4/ipmr.c:1443:7: warning: incompatible types for operation (&)
net/ipv4/ipmr.c:1443:7: left side has type unsigned int [unsigned]
[assigned] [usertype] daddr
net/ipv4/ipmr.c:1443:7: right side has type restricted unsigned int
[usertype] [force] <noident>
net/ipv4/ipmr.c:1492:17: warning: incompatible types for operation (&)
net/ipv4/ipmr.c:1492:17: left side has type unsigned int [unsigned]
[usertype] flags
net/ipv4/ipmr.c:1492:17: right side has type restricted unsigned int
[usertype] [force] <noident>
net/ipv4/ipmr.c:1499:7: warning: incompatible types for operation (&)
net/ipv4/ipmr.c:1499:7: left side has type unsigned int [unsigned]
[assigned] [usertype] daddr
net/ipv4/ipmr.c:1499:7: right side has type restricted unsigned int
[usertype] [force] <noident>
[99.8% CPU for 6+ hours]
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
