Re: deviations tagging

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Wed, 15 Jun 2022, Jan Beulich wrote:
> On 15.06.2022 10:37, Luca Fancellu wrote:
> > As first thought I was thinking to propose the above tags with an 
> > incremental number
> > that could work as a link to a file containing the justification for each 
> > finding.
> > 
> > /* Safe-<number> */
> > 
> > So that a preprocessor script can be used later to substitute the tag with 
> > the appropriate
> > in-code comment suppression tag for a specified checker tool.
> 
> While (assuming the file holding the justifications is meant to live in
> xen.git) conflicts on that file would guarantee uniqueness of the number,
> such conflicts would likely be frequent and require manual resolution
> every single time. Such conflicts could appear as late as when a patch is
> being committed, making the committers' (supposedly entirely mechanical)
> job harder (besides perhaps requiring quite a bit more re-basing effort
> by the submitter).

To help with that, we could maybe have 1 file per justification
(matching by filename), rather than 1 global file. E.g.:

/* safe-1122 */

docs/misra/justifications/safe-1122.md