[Xen-changelog] [xen master] memory: fix label syntax

[patchbot@xxxxxxx]

commit b75bd296d7e8f444362e5e321d09825078875f11
Author:     Norbert Manthey <nmanthey@xxxxxxxxx>
AuthorDate: Tue Jul 31 17:11:36 2018 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue Jul 31 17:11:36 2018 +0200

    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@xxxxxxxxx>
    Signed-off-by: Norbert Manthey <nmanthey@xxxxxxxxx>
    Reviewed-by: Jan Beulich <jbeulich@xxxxxxxx>
---
 xen/common/memory.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xen/common/memory.c b/xen/common/memory.c
index 75010b78a5..e29d596727 100644
--- 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);
 
     /*
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/xen-changelog