Re: [Xen-devel] [RFC PATCH 0/4] Add missing default labels to switch statements

[Oleksandr Andrushchenko <andr2000@xxxxxxxxx>]

On 2/25/19 1:43 PM, Julien Grall wrote:
> Hi,
>
> On 22/02/2019 10:27, Andrew Cooper wrote:
> > On 22/02/2019 09:57, Oleksandr Andrushchenko wrote:
> > > From: Oleksandr Andrushchenko <oleksandr_andrushchenko@xxxxxxxx>
> > >
> > > Hello, everybody!
> > >
> > > We at EPAM Systems would like to present first series of patches 
> > > targeting Xen
> > > on ARM Functional Safety certification (ISO61508 based): 
> > > implementation of
> > > MISRA [1] C:2012 Rule 16.4 which requires that every switch 
> > > statement has a
> > > default label as a measure of defensive programming technique.
> > Hang on - what?
> >
> > Can someone attempt to justify why actively breaking -Wswitch is going
> > to result in safer/better code?
> I just discovered that GCC has an option -Wswitch-enum that would warn 
> of missing element even in the presence of the 'default' label. I 
> guess this could help us to reunite MISRA and Xen for this rule?
And still your comment on plain integers in another thread is still valid.
So, it only partially solves the issue.
> Cheers,

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