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

Re: [Xen-devel] [goto-label v2] memory: fix label syntax

>>> On 31.07.18 at 10:56, <nmanthey@xxxxxxxxx> wrote:
> 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>

Btw - you still didn't Cc all relevant maintainers, but I'm sure no one
of them would object to a change like this.


Xen-devel mailing list



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