diff --git a/llvm/docs/CodingStandards.rst b/llvm/docs/CodingStandards.rst --- a/llvm/docs/CodingStandards.rst +++ b/llvm/docs/CodingStandards.rst @@ -1572,28 +1572,28 @@ Don't Use Braces on Simple Single-Statement Bodies of if/else/loop Statements ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -When writing the body of an ``if``, ``else``, or loop statement, omit the braces to -avoid unnecessary line noise. However, braces should be used in cases where the -omission of braces harm the readability and maintainability of the code. - -Readability is harmed when a single statement is accompanied by a comment that loses -its meaning if hoisted above the ``if`` or loop statement. Similarly, braces should -be used when single-statement body is complex enough that it becomes difficult to see -where the block containing the following statement began. An ``if``/``else`` chain or -a loop is considered a single statement for this rule, and this rule applies recursively. +When writing the body of an ``if``, ``else``, or loop statement, we prefer to +omit the braces to avoid unnecessary line noise. However, braces should be used +in cases where the omission of braces harm the readability and maintainability +of the code. + +We consider that readability is harmed when omitting the brace in presence of a +single statement when accompanied by a comment (assuming the comment can't be +hoisted above the ``if`` or loop statement, see below). +Similarly, braces should be used when single-statement body is complex enough +that it becomes difficult to see where the block containing the following +statement began. An ``if``/``else`` chain or a loop is considered a single +statement for this rule, and this rule applies recursively. This list is not exhaustive, for example, readability is also harmed if an -``if``/``else`` chain starts using braced bodies partway through and does not continue -on with braced bodies. +``if``/``else`` chain does not use braced bodies everywhere or nowhere +consistently, with complex conditionals, deep nesting, etc. Some examples below +intend to provide some guidelines. -Maintainability is harmed if the body of an ``if`` ends with a (directly or indirectly) -nested ``if`` statement with no ``else``. Braces on the outer ``if`` would help to avoid -running into a "dangling else" situation. +Maintainability is harmed if the body of an ``if`` ends with a (directly or +indirectly) nested ``if`` statement with no ``else``. Braces on the outer ``if`` +would help to avoid running into a "dangling else" situation. -Note that comments should only be hoisted for loops and -``if``, and not in ``else if`` or ``else``, where it would be unclear whether the comment -belonged to the preceeding condition, or the ``else``. - .. code-block:: c++ // Omit the braces, since the body is simple and clearly associated with the if. @@ -1601,20 +1601,63 @@ handleFunctionDecl(D); else if (isa(D)) handleVarDecl(D); - else { + + + // Use braces if the comment in the body can't be move here above the `if`. + if (isa(D)) { + // In this else case, it is necessary that we explain the situation with this + // surprisingly long comment, so it would be unclear without the braces whether + // the following statement is in the scope of the if + handleOtherDecl(D); + } + + // Use braces on the outer `if` to avoid a potential dangling else situation. + if (isa(D)) { + for(auto *A : D.attrs()) + if (shouldProcessAttr(A)) + handleAttr(A); + } + + + // Use braces for the `if` block to keep it uniform with the else block. + if (isa(D)) { + handleFunctionDecl(D); + } else { // In this else case, it is necessary that we explain the situation with this // surprisingly long comment, so it would be unclear without the braces whether - // the following statement is in the scope of the else. + // the following statement is in the scope of the if handleOtherDecl(D); } - // This should also omit braces. The for loop contains only a single statement, - // so it shouldn't have braces. The if also only contains a single statement (the - // for loop), so it also should omit braces. + // This should also omit braces. The `for` loop contains only a single statement, + // so it shouldn't have braces. The `if` also only contains a single simple + // statement (the for loop), so it also should omit braces. if (isa(D)) for(auto *A : D.attrs()) handleAttr(A); + // Use braces for the outer `if` since the nested `for` is braced. + if (isa(D)) { + for(auto *A : D.attrs()) { + // In this for loop body, it is necessary that we explain the situation + // with this surprisingly long comment, forcing braces on the `for` block. + handleAttr(A); + } + } + + // Use braces on the outer block because more than two levels of nesting. + if (isa(D)) { + for(auto *A : D.attrs()) + for(int i = 0; i < count; ++i) + handleAttrOnDecl(D, A, i); + } + + // Use braces on the outer block because of a nested `if`. + if (auto *D = dyn_cast(D)) { + if(shouldProcess(D)) + handleVarDecl(D); + } + See Also ========