MISRA Discussion Forums

MISRA Discussion Forums > MISRA C > MISRA-C: 2004 rules > 6.12 Expressions > Rule 12.6
Full Version: Rule 12.6
You're currently viewing a stripped down version of our content. View the full version with proper formatting.

azukich

27-10-2010, 03:55 PM
Klocwork has been getting a number of complaints on our interpretation of rule 12.6. For example:

If(TRUE==TRUE) ...

So if TRUE is a Boolean. “==” is not of &&, ||, !. We report this as a violation, since the code should look like
If(TRUE) ...

Many people have debated this. Are we misunderstanding this?

misra-c

03-11-2010, 08:51 AM
This rule was clarified in technical corrigendum (TC1) and the wording is now:

Quote: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.
MISRA Discussion Forums > MISRA C > MISRA-C: 2004 rules > 6.12 Expressions > Rule 12.6