On 15.08.2025 09:00, Dmytro Prokopchuk1 wrote: > --- a/docs/misra/deviations.rst > +++ b/docs/misra/deviations.rst > @@ -95,7 +95,8 @@ Deviations related to MISRA C:2012 Rules: > the absence of reports that do not have an impact on safety, despite > being true positives. > Xen expects developers to ensure code remains safe and reliable in > builds, > - even when debug-only assertions like `ASSERT_UNREACHABLE() are > removed. > + even when debug-only assertions like `ASSERT_UNREACHABLE()` are > removed. > + - ECLAIR has been configured to ignore those statements.
Mind me asking why one form of quoting is used here (using back-tick), while ... > --- a/docs/misra/rules.rst > +++ b/docs/misra/rules.rst > @@ -124,7 +124,7 @@ maintainers if you want to suggest a change. > they are used to generate definitions for asm modules > - Declarations without initializer are safe, as they are not > executed > - - Functions that are no-return due to calls to the > `ASSERT_UNREACHABLE()' > + - Functions that are no-return due to calls to the > 'ASSERT_UNREACHABLE()' ... another is used here (single quotes)? Jan
