diff options
| author | Ben Pfaff <blp@nicira.com> | 2011-05-06 12:59:51 -0700 |
|---|---|---|
| committer | Ben Pfaff <blp@nicira.com> | 2011-05-16 13:45:53 -0700 |
| commit | 6506f45c0818618e96deb858bbabdf2cc90eb2df (patch) | |
| tree | ef898fc14eade893c460fcbd1b3d01c960595c96 /lib/unaligned.h | |
| parent | c4cac9abf211b74c777b86ad7281e7b0f42a3a39 (diff) | |
| download | openvswitch-6506f45c0818618e96deb858bbabdf2cc90eb2df.tar.gz | |
Make the source tree sparse clean.
With this commit, the tree compiles clean with sparse commit 87f4a7fda3d
"Teach 'already_tokenized()' to use the stream name hash table" with patch
"evaluate: Allow sizeof(_Bool) to succeed" available at
http://permalink.gmane.org/gmane.comp.parsers.sparse/2461 applied, as long
as the "include/sparse" directory is included for use by sparse (only),
e.g.:
make CC="CHECK='sparse -I../include/sparse' cgcc"
Diffstat (limited to 'lib/unaligned.h')
| -rw-r--r-- | lib/unaligned.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/unaligned.h b/lib/unaligned.h index a44ee8be8..f1aab23ad 100644 --- a/lib/unaligned.h +++ b/lib/unaligned.h @@ -156,6 +156,7 @@ put_32aligned_u64(ovs_32aligned_u64 *x, uint64_t value) x->lo = value; } +#ifndef __CHECKER__ /* Returns the value of 'x'. */ static inline ovs_be64 get_32aligned_be64(const ovs_32aligned_be64 *x) @@ -179,5 +180,11 @@ put_32aligned_be64(ovs_32aligned_be64 *x, ovs_be64 value) x->lo = value >> 32; #endif } +#else /* __CHECKER__ */ +/* Making sparse happy with these functions also makes them unreadable, so + * don't bother to show it their implementations. */ +ovs_be64 get_32aligned_be64(const ovs_32aligned_be64 *); +void put_32aligned_be64(ovs_32aligned_be64 *, ovs_be64); +#endif #endif /* unaligned.h */ |