memory: fix label syntax

When compiling this file with gcc, the compiler happily accepts the
sequence of a label followed by an attribute. However, this sequence does
not follow the gcc documentation. Hence, other compilers might stumble
upon this statement.

To be able to compile Xen with goto-cc (the compiler of the CPROVER tool
suite), the missing semicolon is added in this commit.

Reported-by: Elizabeth Polgreen <polgreen@amazon.de>
Signed-off-by: Norbert Manthey <nmanthey@amazon.de>
Reviewed-by: Jan Beulich <jbeulich@suse.com>

diff --git a/xen/common/memory.c b/xen/common/memory.c
index 75010b78a5aee7ced8ab0655b54ae5d0e4be0723..e29d5967273726ec785f3aaf3f4bad019121793c 100644 (file)
--- a/xen/common/memory.c
+++ b/xen/common/memory.c
@@ -387,7 +387,7 @@ int guest_remove_page(struct domain *d, unsigned long gmfn)
         put_page(page);
 
     put_page(page);
- out_put_gfn: __maybe_unused
+ out_put_gfn: __maybe_unused;
     put_gfn(d, gmfn);
 
     /*