diff options
| -rw-r--r-- | CODING_STYLE | 7 | 
1 files changed, 7 insertions, 0 deletions
| diff --git a/CODING_STYLE b/CODING_STYLE index dbadfbdb54..a96ddd3598 100644 --- a/CODING_STYLE +++ b/CODING_STYLE @@ -314,3 +314,10 @@    are always defined after more global ones. Thus, our local    definitions will never "leak" into the global header files, possibly    altering their effect due to #ifdeffery. + +- To implement an endless loop, use "for (;;)" rather than "while +  (1)". The latter is a bit ugly anyway, since you probably really +  meant "while (true)"... To avoid the discussion what the right +  always-true expression for an infinite while() loop is our +  recommendation is to simply write it without any such expression by +  using "for (;;)". | 
