diff options
| author | Mattias Andrée <maandree@operamail.com> | 2015-08-25 09:00:06 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2015-08-25 09:00:06 +0200 |
| commit | 527c082c88390fde29f555fe3720e0d55d9edc34 (patch) | |
| tree | 141242290d3cfc1fc6fe280ebd4e77477943a4f7 /src/mds-base.h | |
| parent | m + attributes (diff) | |
| download | mds-527c082c88390fde29f555fe3720e0d55d9edc34.tar.gz mds-527c082c88390fde29f555fe3720e0d55d9edc34.tar.bz2 mds-527c082c88390fde29f555fe3720e0d55d9edc34.tar.xz | |
attributes
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
| -rw-r--r-- | src/mds-base.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/mds-base.h b/src/mds-base.h index 50aba78..8def600 100644 --- a/src/mds-base.h +++ b/src/mds-base.h @@ -286,7 +286,8 @@ extern int postinitialise_server(void); * * @return The number of bytes that will be stored by `marshal_server` */ -extern size_t marshal_server_size(void) __attribute__((pure)); +__attribute__((pure)) +extern size_t marshal_server_size(void); /** * This function should be implemented by the actual server implementation @@ -296,6 +297,7 @@ extern size_t marshal_server_size(void) __attribute__((pure)); * @param state_buf The buffer for the marshalled data * @return Non-zero on error */ +__attribute__((nonnull)) extern int marshal_server(char* state_buf); /** @@ -310,6 +312,7 @@ extern int marshal_server(char* state_buf); * @param state_buf The marshalled data that as not been read already * @return Non-zero on error */ +__attribute__((nonnull)) extern int unmarshal_server(char* state_buf); /** |