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

[Wei Liu <wei.liu2@xxxxxxxxxx>]

On Tue, Jul 31, 2018 at 03:27:03AM -0600, Jan Beulich wrote:
> >>> On 31.07.18 at 11:24, <wei.liu2@xxxxxxxxxx> wrote:
> > On Tue, Jul 31, 2018 at 03:18:51AM -0600, Jan Beulich wrote:
> >> >>> 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.
> > 
> > Strangely this patch never showed up in my inbox or xen-devel archive.
> > 
> > Norbert, I wonder if there is something wrong with your email setting?
> 
> Perhaps it's still in moderation?
> 

It appears so. Andy just let it through. Sorry for the noise.

Wei.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel