Re: [XEN PATCH for 4.19] automation/eclair: add deviations agreed in MISRA meetings

[Oleksii <oleksii.kurochko@xxxxxxxxx>]

On Tue, 2024-06-25 at 18:59 -0700, Stefano Stabellini wrote:
> > +-doc_begin="The conversion from a function pointer to unsigned
> > long or (void *) does not lose any information, provided that the
> > target type has enough bits to store it."
> > +-config=MC3R1.R11.1,casts+={safe,
> > +  "from(type(canonical(__function_pointer_types)))
> > +   &&to(type(canonical(builtin(unsigned
> > long)||pointer(builtin(void)))))
> > +   &&relation(definitely_preserves_value)"
> > +}
> > +-doc_end
> 
> This one and the ones below are the important ones! I think we should
> have them in the tree as soon as possible ideally 4.19. I ask for
> a release-ack.
Just want to be sure that I understand deviations properly with this
example.

If the deviation above is merged, then it would be safe from a MISRA
point of view to cast a function pointer to 'unsigned long' or 'void
*', and thereby MISRA won't complain about code with such conversions?

~ Oleksii