diff options
Diffstat (limited to '')
| -rw-r--r-- | src/mds-server/mds-server.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mds-server/mds-server.c b/src/mds-server/mds-server.c index 801e47c..c249236 100644 --- a/src/mds-server/mds-server.c +++ b/src/mds-server/mds-server.c @@ -371,6 +371,7 @@ void* slave_loop(void* data) * @param b:const queued_interception_t* The other of the two interceptors * @return Negative if a before b, positive if a after b, otherwise zero */ +__attribute__((nonnull)) static int cmp_queued_interception(const void* a, const void* b) { const queued_interception_t* p = b; /* Highest first, so swap them. */ |