I've applied this series of four patches; thanks. Your "typo fixes" patch also reminded me that I needed to fix the typo in the name of "validation/bad-assignement.c", which I have now done. Regarding your comment about using "make check" for something more useful, I would greatly welcome a patch which actually checked sparse against all the files in validation/ and tested what those files intended to test. As far as I can tell, it looks like some of them may not work as intended right now; for example, it looks like validation/builtin_safe1.c expects __attribute__((pure)) and __attribute__((const)) to work and mark a function as side-effect-free, which doesn't currently happen in sparse. - Josh Triplett
Attachment:
signature.asc
Description: OpenPGP digital signature
