On Tue, Jul 31, 2018 at 03:18:51AM -0600, Jan Beulich wrote: > >>> On 31.07.18 at 10:56, <[email protected]> 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 <[email protected]> > > Signed-off-by: Norbert Manthey <[email protected]> > > Reviewed-by: Jan Beulich <[email protected]> > > 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? Wei. > Jan > > > > _______________________________________________ > Xen-devel mailing list > [email protected] > https://lists.xenproject.org/mailman/listinfo/xen-devel _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
