>Number:         21706
>Category:       bin
>Synopsis:       lint internal error, lint1/tree.c, 1040: typeok()
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    bin-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed May 28 21:22:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     Krister Walfridsson
>Release:        NetBSD-current as of 2003-05-28
>Organization:
	
>Environment:
	
	
>Description:
Lint fail with the error
lint error: /usr/local/tmp/nbsd030528/src/tools/lint1/../../usr.bin/xlint/lint1/tree.c, 1040: typeok()
when linting the acorn26 kernel.

>How-To-Repeat:
lint1 -b -c -e -h -z -F -S bug bug.ln

on the small test case below (cut down from fs/filecorefs/filecore_vnops.c)

typedef	unsigned long int size_t;
struct filecore_direntry {
	unsigned len:32;
};
void
filecore_read(void)
{
	struct filecore_direntry dirent;
	size_t  uio_resid;
	size_t bytelen = (((dirent.len)<(uio_resid))?(dirent.len):(uio_resid));
}

>Fix:
	
>Release-Note:
>Audit-Trail:
>Unformatted: