[src/trunk]: src/usr.bin/xlint/lint1 lint: rename pushctrl and popctrl to be ...

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

details:   https://anonhg.NetBSD.org/src/rev/fb09ea3e0696
branches:  trunk
changeset: 953970:fb09ea3e0696
user:      rillig <rillig%NetBSD.org@localhost>
date:      Fri Mar 26 18:54:39 2021 +0000

description:
lint: rename pushctrl and popctrl to be more expressive

While here, remove the magic number 0 that in this context means
"function body".

No functional change.

diffstat:

 usr.bin/xlint/lint1/cgram.y    |   8 ++++----
 usr.bin/xlint/lint1/externs1.h |   6 +++---
 usr.bin/xlint/lint1/func.c     |  32 ++++++++++++++++----------------
 usr.bin/xlint/lint1/lint1.h    |  13 +++++++++++--
 4 files changed, 34 insertions(+), 25 deletions(-)

diffs (222 lines):

diff -r 53f1bd85af0a -r fb09ea3e0696 usr.bin/xlint/lint1/cgram.y
--- a/usr.bin/xlint/lint1/cgram.y       Fri Mar 26 17:44:52 2021 +0000
+++ b/usr.bin/xlint/lint1/cgram.y       Fri Mar 26 18:54:39 2021 +0000
@@ -1,5 +1,5 @@
 %{
-/* $NetBSD: cgram.y,v 1.202 2021/03/26 17:44:52 rillig Exp $ */
+/* $NetBSD: cgram.y,v 1.203 2021/03/26 18:54:39 rillig Exp $ */
 
 /*
  * Copyright (c) 1996 Christopher G. Demetriou.  All Rights Reserved.
@@ -35,7 +35,7 @@
 
 #include <sys/cdefs.h>
 #if defined(__RCSID) && !defined(lint)
-__RCSID("$NetBSD: cgram.y,v 1.202 2021/03/26 17:44:52 rillig Exp $");
+__RCSID("$NetBSD: cgram.y,v 1.203 2021/03/26 18:54:39 rillig Exp $");
 #endif
 
 #include <limits.h>
@@ -447,10 +447,10 @@
                block_level--;
                check_func_lint_directives();
                check_func_old_style_arguments();
-               pushctrl(0);
+               begin_control_statement(CS_FUNCTION_BODY);
          } compound_statement {
                funcend();
-               popctrl(0);
+               end_control_statement(CS_FUNCTION_BODY);
          }
        ;
 
diff -r 53f1bd85af0a -r fb09ea3e0696 usr.bin/xlint/lint1/externs1.h
--- a/usr.bin/xlint/lint1/externs1.h    Fri Mar 26 17:44:52 2021 +0000
+++ b/usr.bin/xlint/lint1/externs1.h    Fri Mar 26 18:54:39 2021 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: externs1.h,v 1.86 2021/03/26 17:44:52 rillig Exp $     */
+/*     $NetBSD: externs1.h,v 1.87 2021/03/26 18:54:39 rillig Exp $     */
 
 /*
  * Copyright (c) 1994, 1995 Jochen Pohl
@@ -252,8 +252,8 @@
 extern bool    plibflg;
 extern bool    quadflg;
 
-extern void    pushctrl(int);
-extern void    popctrl(int);
+extern void    begin_control_statement(control_statement_kind);
+extern void    end_control_statement(control_statement_kind);
 extern void    check_statement_reachable(void);
 extern void    funcdef(sym_t *);
 extern void    funcend(void);
diff -r 53f1bd85af0a -r fb09ea3e0696 usr.bin/xlint/lint1/func.c
--- a/usr.bin/xlint/lint1/func.c        Fri Mar 26 17:44:52 2021 +0000
+++ b/usr.bin/xlint/lint1/func.c        Fri Mar 26 18:54:39 2021 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: func.c,v 1.95 2021/03/21 19:14:40 rillig Exp $ */
+/*     $NetBSD: func.c,v 1.96 2021/03/26 18:54:39 rillig Exp $ */
 
 /*
  * Copyright (c) 1994, 1995 Jochen Pohl
@@ -37,7 +37,7 @@
 
 #include <sys/cdefs.h>
 #if defined(__RCSID) && !defined(lint)
-__RCSID("$NetBSD: func.c,v 1.95 2021/03/21 19:14:40 rillig Exp $");
+__RCSID("$NetBSD: func.c,v 1.96 2021/03/26 18:54:39 rillig Exp $");
 #endif
 
 #include <stdlib.h>
@@ -153,12 +153,12 @@
  * Puts a new element at the top of the stack used for control statements.
  */
 void
-pushctrl(int env)
+begin_control_statement(control_statement_kind kind)
 {
        cstk_t  *ci;
 
        ci = xcalloc(1, sizeof (cstk_t));
-       ci->c_env = env;
+       ci->c_kind = kind;
        ci->c_surrounding = cstmt;
        cstmt = ci;
 }
@@ -167,13 +167,13 @@
  * Removes the top element of the stack used for control statements.
  */
 void
-popctrl(int env)
+end_control_statement(control_statement_kind kind)
 {
        cstk_t  *ci;
        case_label_t *cl, *next;
 
        lint_assert(cstmt != NULL);
-       lint_assert(cstmt->c_env == env);
+       lint_assert(cstmt->c_kind == kind);
 
        ci = cstmt;
        cstmt = ci->c_surrounding;
@@ -611,7 +611,7 @@
                tn = check_controlling_expression(tn);
        if (tn != NULL)
                expr(tn, false, true, false, false);
-       pushctrl(T_IF);
+       begin_control_statement(CS_IF);
 
        if (tn != NULL && tn->tn_op == CON && !tn->tn_system_dependent) {
                /* XXX: what if inside 'if (0)'? */
@@ -648,7 +648,7 @@
        else if (!els)
                set_reached(true);
 
-       popctrl(T_IF);
+       end_control_statement(CS_IF);
 }
 
 /*
@@ -695,7 +695,7 @@
        check_getopt_begin_switch();
        expr(tn, true, false, true, false);
 
-       pushctrl(T_SWITCH);
+       begin_control_statement(CS_SWITCH);
        cstmt->c_switch = true;
        cstmt->c_swtype = tp;
 
@@ -755,7 +755,7 @@
                 * if the end of the last statement inside it is reached.
                 */
 
-       popctrl(T_SWITCH);
+       end_control_statement(CS_SWITCH);
 }
 
 /*
@@ -776,7 +776,7 @@
        if (tn != NULL)
                tn = check_controlling_expression(tn);
 
-       pushctrl(T_WHILE);
+       begin_control_statement(CS_WHILE);
        cstmt->c_loop = true;
        cstmt->c_maybe_endless = is_nonzero(tn);
        body_reached = !is_zero(tn);
@@ -802,7 +802,7 @@
        set_reached(!cstmt->c_maybe_endless || cstmt->c_break);
 
        check_getopt_end_while();
-       popctrl(T_WHILE);
+       end_control_statement(CS_WHILE);
 }
 
 /*
@@ -818,7 +818,7 @@
                set_reached(true);
        }
 
-       pushctrl(T_DO);
+       begin_control_statement(CS_DO_WHILE);
        cstmt->c_loop = true;
 }
 
@@ -854,7 +854,7 @@
        if (cstmt->c_break)
                set_reached(true);
 
-       popctrl(T_DO);
+       end_control_statement(CS_DO_WHILE);
 }
 
 /*
@@ -874,7 +874,7 @@
                set_reached(true);
        }
 
-       pushctrl(T_FOR);
+       begin_control_statement(CS_FOR);
        cstmt->c_loop = true;
 
        /*
@@ -944,7 +944,7 @@
        /* TODO: What if the loop contains a 'return'? */
        set_reached(cstmt->c_break || !cstmt->c_maybe_endless);
 
-       popctrl(T_FOR);
+       end_control_statement(CS_FOR);
 }
 
 /*
diff -r 53f1bd85af0a -r fb09ea3e0696 usr.bin/xlint/lint1/lint1.h
--- a/usr.bin/xlint/lint1/lint1.h       Fri Mar 26 17:44:52 2021 +0000
+++ b/usr.bin/xlint/lint1/lint1.h       Fri Mar 26 18:54:39 2021 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: lint1.h,v 1.87 2021/03/21 15:34:13 rillig Exp $ */
+/* $NetBSD: lint1.h,v 1.88 2021/03/26 18:54:39 rillig Exp $ */
 
 /*
  * Copyright (c) 1996 Christopher G. Demetriou.  All Rights Reserved.
@@ -378,11 +378,20 @@
        struct case_label *cl_next;
 } case_label_t;
 
+typedef enum {
+       CS_DO_WHILE,
+       CS_FOR,
+       CS_FUNCTION_BODY,
+       CS_IF,
+       CS_SWITCH,
+       CS_WHILE
+} control_statement_kind;
+
 /*
  * Used to keep information about nested control statements.
  */
 typedef struct control_statement {
-       int     c_env;                  /* type of statement (T_IF, ...) */
+       control_statement_kind c_kind;  /* to ensure proper nesting */
        bool    c_loop : 1;             /* continue && break are valid */
        bool    c_switch : 1;           /* case && break are valid */
        bool    c_break : 1;            /* the loop/switch has a reachable