News for hackers. Stuff that matters.

A comment on JPL Institutional Coding Standard for the C Programming Language (2009) [pdf]. Parent comment

Re:JPL Institutional Coding Standard for the C Programming L... by vbezhenar on Monday February 18, 2019 @10:27AM (#19191309)
You must prove that this loop will terminate: All loops shall have a statically determinable upper-bound on the maximum number of loop iterations. It shall be possible for a static compliance checking tool to affirm the existence of the bound.
[ Parent | on HN ]
Re:JPL Institutional Coding Standard for the C Programming L... by TheCoelacanth on Monday February 18, 2019 @10:39AM (#19191411)
Since the loop condition is the constant `false`, it should be trivial to prove that the upper bound is one iteration.
[ Parent | on HN ]