summaryrefslogtreecommitdiffstats
path: root/sys/contrib
diff options
context:
space:
mode:
authorarybchik <arybchik@FreeBSD.org>2015-11-29 05:42:49 +0000
committerarybchik <arybchik@FreeBSD.org>2015-11-29 05:42:49 +0000
commit16fdc5e524cf49ddf99e00d6e62f93e4061ef3ac (patch)
treea64f36277d01411a055e38cec9b3541c6ea3214e /sys/contrib
parent2add8cb3acc15f86c3edf68b3f6087e8345d7c47 (diff)
downloadFreeBSD-src-16fdc5e524cf49ddf99e00d6e62f93e4061ef3ac.zip
FreeBSD-src-16fdc5e524cf49ddf99e00d6e62f93e4061ef3ac.tar.gz
sfxge: add prefast annotation to common code return types
Using a typedef for common code return types (rather than "int") allows the Prefast static analyser to understand when a function has been successful (and thus when its postconditions must hold). This greatly reduces then number of false positives reported by prefast for error paths in common code functions. Submitted by: Andy Moreton <amoreton at solarflare.com> Sponsored by: Solarflare Communications, Inc. MFC after: 2 days
Diffstat (limited to 'sys/contrib')
0 files changed, 0 insertions, 0 deletions
OpenPOWER on IntegriCloud