Это семейство правил из-под MISRA- C: 2012 2.x, которые на простом английском языке sh говорят, что вы никогда не должны объявлять переменные, типы, макросы и т. Д. c, которые на самом деле не используются где-нибудь в программе. Что является здравым смыслом - избыточный просто означает, что он нигде не используется.
Но учтите, что эти правила в основном существуют в интересах анализатора stati c - это тот тип проверок, который вы определенно будете использовать sh автоматизировать. Для критически важных систем в целом нам не разрешено иметь части производственного кода, которые фактически никогда не выполняются. Даже код, который «закомментирован» не допускается.