Powered by Linux
Misleading messages from match 0.6.1-rc1 — Semantic Matching Tool

Misleading messages from match 0.6.1-rc1

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi!

While checking illumos soource, smatch is reporting:

/code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../../common/fs/ufs/ufs_vnops.c:737 wrip() warn: subtract is higher precedence than shift

The code is:

http://src.illumos.org/source/xref/illumos-gate/usr/src/uts/common/fs/ufs/ufs_vnops.c#737

limit = MIN(UFS_MAXOFFSET_T, limit);

Where MIN is defined:

#define	MIN(a, b)	((a) < (b) ? (a) : (b))

As seen from those facts, we have no subtraction nor shift. In code above, limit is unsigned 64-bit, UFS_MAXOFFSET_T is signed.


rgds,
Toomas



[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux