[patches] more type cleanups and fixes

[patches] more type cleanups and fixes

[Al Viro]

	Getting the handling of qualifiers/address spaces right on the
pointer operations, type_difference sanitized and taken closer to sanity
(in particular, kernel ARRAY_SIZE() works now), SYM_BASENAME and SYM_TYPEOF
handling sanitized.

	That takes us about halfway to getting rid of very brittle
dependencies between evaluate.c and type-handling details in symbol.c.

	The series can be pulled from branch type_difference2 in
git://git.kernel.org/pub/scm/linux/kernel/git/viro/sparse.git/
individual patches follow in next postings...

Re: [patches] more type cleanups and fixes

[Josh Triplett]

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

Al Viro wrote:
> 	Getting the handling of qualifiers/address spaces right on the
> pointer operations, type_difference sanitized and taken closer to sanity
> (in particular, kernel ARRAY_SIZE() works now), SYM_BASENAME and SYM_TYPEOF
> handling sanitized.
> 
> 	That takes us about halfway to getting rid of very brittle
> dependencies between evaluate.c and type-handling details in symbol.c.
> 
> 	The series can be pulled from branch type_difference2 in
> git://git.kernel.org/pub/scm/linux/kernel/git/viro/sparse.git/
> individual patches follow in next postings...

Patch series applied and pushed, together with the fixes noted in the thread:

* Fix test suite breakage caused by patch 1.
* Expand commit message in patch 3.
* Fix type_difference prototype in patch 7.

Thanks!

- Josh Triplett



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 252 bytes --]