make CHECK="/data/src/git-repos/smatch/smatch -p=kernel" C=2 fs/jfs/jfs.ko | grep errors


fs/jfs/inode.c:69 jfs_iget() error: buffer overflow 'JFS_IP(inode)->u.link._inline' 128 <= 255
fs/jfs/namei.c:951 jfs_symlink() error: memcpy() 'i_fastsymlink' too small (128 vs 256)
fs/jfs/jfs_xtree.c:1070 xtSplitPage() error: potential NULL dereference 'rxtlck'.
fs/jfs/jfs_xtree.c:1140 xtSplitPage() error: potential NULL dereference 'sxtlck'.
fs/jfs/jfs_xtree.c:1496 xtExtend() error: potential NULL dereference 'xtlck'.
fs/jfs/jfs_xtree.c:2008 xtUpdate() error: potential NULL dereference 'xtlck'.
fs/jfs/jfs_xtree.c:3546 xtTruncate() error: potential NULL dereference 'tblk'.
fs/jfs/jfs_imap.c:786 diWrite() error: memcpy() 'jfs_ip->u.link._inline' too small (128 vs 256)
fs/jfs/jfs_imap.c:2320 diNewExt() error: potential NULL dereference 'aiagp'.
fs/jfs/jfs_imap.c:2323 diNewExt() error: potential NULL dereference 'biagp'.
fs/jfs/jfs_imap.c:2348 diNewExt() error: potential NULL dereference 'ciagp'.
fs/jfs/jfs_dmap.c:473 dbUpdatePMap() error: potential NULL dereference 'mp'.
fs/jfs/jfs_dtree.c:1673 dtExtendPage() error: potential NULL dereference 'parent'.
fs/jfs/jfs_dtree.c:4009 dtInsertEntry() error: potential NULL dereference 'lh'.
fs/jfs/jfs_dtree.c:4011 dtInsertEntry() error: potential NULL dereference 'ih'.
fs/jfs/jfs_dtree.c:4217 dtMoveEntry() error: potential NULL dereference 'dlh'.
fs/jfs/jfs_dtree.c:4219 dtMoveEntry() error: potential NULL dereference 'dih'.
fs/jfs/jfs_txnmgr.c:383 txBegin() error: double lock 'spin_lock:&jfsTxnLock'
fs/jfs/jfs_txnmgr.c:395 txBegin() error: double lock 'spin_lock:&jfsTxnLock'
fs/jfs/jfs_txnmgr.c:406 txBegin() error: double lock 'spin_lock:&jfsTxnLock'
fs/jfs/jfs_txnmgr.c:416 txBegin() error: double lock 'spin_lock:&jfsTxnLock'
fs/jfs/jfs_txnmgr.c:477 txBeginAnon() error: double lock 'spin_lock:&jfsTxnLock'
fs/jfs/jfs_txnmgr.c:486 txBeginAnon() error: double lock 'spin_lock:&jfsTxnLock'
fs/jfs/jfs_txnmgr.c:2386 txUpdateMap() error: potential NULL dereference 'mp'.
fs/jfs/xattr.c:303 ea_write() error: we previously assumed 'ealist' could be null (see line 234)

/TR 2012-09-18