[xen staging] memory: fix label syntax

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[xen staging] memory: fix label syntax

commit b75bd296d7e8f444362e5e321d09825078875f11
Author:     Norbert Manthey <[hidden email]>
AuthorDate: Tue Jul 31 17:11:36 2018 +0200
Commit:     Jan Beulich <[hidden email]>
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 <[hidden email]>
    Signed-off-by: Norbert Manthey <[hidden email]>
    Reviewed-by: Jan Beulich <[hidden email]>
 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)
- out_put_gfn: __maybe_unused
+ out_put_gfn: __maybe_unused;
     put_gfn(d, gmfn);
generated by git-patchbot for /home/xen/git/xen.git#staging

Xen-changelog mailing list
[hidden email]