From 527c082c88390fde29f555fe3720e0d55d9edc34 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 25 Aug 2015 09:00:06 +0200 Subject: attributes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- src/mds-base.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/mds-base.h') 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); /** -- cgit v1.2.3-70-g09d2