1.4.9. Migration to 7.10.4

1.4.9.1. Stylechecks

CertC-INT34, CertC++-INT34, MisraC++2023-4.1.3

The implementation of checking a non-const right argument of the shift operator have been changed. It is now based on static semantic analysis rather than on an inaccurate syntactic check. This change reduces false positives and negatives.

The analysis is triggered by the option report_nonconst_cases that is also present but disabled by default for the rules:

MisraC-12.8, MisraC2012-12.2 - MisraC2025-12.2, MisraC++-5.8.1, AutosarC++17_03-M5.8.1 - AutosarC++19_03-M5.8.1