[src/trunk]: src/usr.bin/xlint/lint1 lint: document the precise meaning of co...

[rillig <rillig%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/3c4eb310a87f
branches:  trunk
changeset: 953814:3c4eb310a87f
user:      rillig <rillig%NetBSD.org@localhost>
date:      Sun Mar 21 12:06:10 2021 +0000

description:
lint: document the precise meaning of control_statement.c_break

No functional change.

diffstat:

 usr.bin/xlint/lint1/lint1.h |  7 +++----
 1 files changed, 3 insertions(+), 4 deletions(-)

diffs (21 lines):

diff -r 594ecfce363d -r 3c4eb310a87f usr.bin/xlint/lint1/lint1.h
--- a/usr.bin/xlint/lint1/lint1.h       Sun Mar 21 12:03:56 2021 +0000
+++ b/usr.bin/xlint/lint1/lint1.h       Sun Mar 21 12:06:10 2021 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: lint1.h,v 1.82 2021/03/21 12:03:56 rillig Exp $ */
+/* $NetBSD: lint1.h,v 1.83 2021/03/21 12:06:10 rillig Exp $ */
 
 /*
  * Copyright (c) 1996 Christopher G. Demetriou.  All Rights Reserved.
@@ -385,9 +385,8 @@
        int     c_env;                  /* type of statement (T_IF, ...) */
        bool    c_loop : 1;             /* continue && break are valid */
        bool    c_switch : 1;           /* case && break are valid */
-       bool    c_break : 1;            /* loop/switch has break */
-                                       /* TODO: is the break guaranteed to be
-                                        * reachable? */
+       bool    c_break : 1;            /* the loop/switch has a reachable
+                                        * break statement */
        bool    c_cont : 1;             /* loop has continue */
        bool    c_default : 1;          /* switch has default */
        bool    c_maybe_endless : 1;    /* the controlling expression is