On Mon, 24 Jun 2024, Federico Serafini wrote:
> Rule 13.6 states that "The operand of the `sizeof' operator shall not
> contain any expression which has potential side effects".
> 
> Define service B.UNEVALEFF as an extension of Rule 13.6 to
> check for unevalued side effects also for typeof and alignof operators.
> 
> Update ECLAIR configuration to deviate uses of BUILD_BUG_ON and
> alternative_v?call[0-9] for both Rule 13.6 and B.UNEVALEFF.
> 
> Add service B.UNEVALEFF to the accepted.ecl guidelines to check
> "violations" in the weekly analysis.
> 
> Signed-off-by: Federico Serafini <[email protected]>
> Signed-off-by: Nicola Vetrini <[email protected]>

Reviewed-by: Stefano Stabellini <[email protected]>


Reply via email to