include::../description.adoc[]

include::../noncompliant.adoc[]

include::../compliant.adoc[]

== See

* MISRA C:2004, 13.7 - Boolean operations whose results are invariant shall not be permitted.
* MISRA C:2012, 14.3 - Controlling expressions shall not be invariant
* http://cwe.mitre.org/data/definitions/571[MITRE, CWE-571] - Expression is Always True
* http://cwe.mitre.org/data/definitions/570[MITRE, CWE-570] - Expression is Always False
* https://wiki.sei.cmu.edu/confluence/x/5dUxBQ[CERT, MSC12-C.] - Detect and remove code that has no effect or is never executed

ifdef::env-github,rspecator-view[]
'''
== Comments And Links
(visible only on this page)

include::../comments-and-links.adoc[]
endif::env-github,rspecator-view[]
