include::../description.adoc[]

include::../noncompliant.adoc[]

include::../compliant.adoc[]

include::../exceptions.adoc[]

== See

* https://cwe.mitre.org/data/definitions/835[MITRE, CWE-835] - Loop with Unreachable Exit Condition ('Infinite Loop')
* https://wiki.sei.cmu.edu/confluence/x/x9YxBQ[CERT, MSC21-C.] - Use robust loop termination conditions

ifdef::env-github,rspecator-view[]

'''
== Implementation Specification
(visible only on this page)

include::../message.adoc[]

'''
== Comments And Links
(visible only on this page)

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