[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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)
- 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



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.