Rule 12.6

[misra-c]

This rule was clarified in technical corrigendum (TC1) and the wording is now:

The operands of logical operators (&&, || and !) should be effectively Boolean. Expressions that are effectively Boolean should not be used as operands to operators other than (&&, ||, !, =, ==, != and ?:)

According to this wording, your example:

Code:

if (TRUE==TRUE)

is not a violation of Rule 12.6.