CVS commit: src/usr.bin/xlint/lint1

2021-01-10 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 10 14:07:34 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y decl.c externs1.h Log Message: lint: rename functions with short names To generate a diff of this commit: cvs rdiff -u -r1.137 -r1.138 src/usr.bin/xli

CVS commit: src/usr.bin/xlint/lint1

2021-01-10 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 10 14:09:57 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c externs1.h Log Message: lint: change return type of eqptrtype to bool To generate a diff of this commit: cvs rdiff -u -r1.116 -r1.117 src/usr.bin/xlint

CVS commit: src/usr.bin/xlint/lint1

2021-01-10 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 10 14:12:48 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c main1.c Log Message: lint: remove redundant parentheses around return value To generate a diff of this commit: cvs rdiff -u -r1.117 -r1.118 src/usr.bin

CVS commit: src/usr.bin/xlint/lint1

2021-01-10 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 10 18:22:52 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c Log Message: lint: split check_global_variable into several functions This reduces the indentation and allows the messages in the comments to contain th

CVS commit: src/usr.bin/xlint/lint1

2021-01-11 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 11 19:29:49 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c emit1.c externs1.h tree.c Log Message: lint: sprinkle a few const modifiers throughout the code To generate a diff of this commit: cvs rdiff -u -r1.120

CVS commit: src/usr.bin/xlint/lint1

2021-01-11 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 11 20:04:01 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: split typeok into several functions To generate a diff of this commit: cvs rdiff -u -r1.149 -r1.150 src/usr.bin/xlint/lint1/tree.c

CVS commit: src/usr.bin/xlint/lint1

2021-01-13 Thread Roland Illig
Module Name:src Committed By: rillig Date: Thu Jan 14 07:34:48 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: scan.l Log Message: lint: fix enum type in the lexical analysis part Detected by Clang, reported by riastradh: > scan.l:144:29: error: implicit conversion fro

CVS commit: src/usr.bin/xlint/lint1

2021-01-15 Thread Roland Illig
Module Name:src Committed By: rillig Date: Fri Jan 15 23:43:51 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: func.c lint1.h tree.c Log Message: lint: merge duplicate code for non-zero detection To generate a diff of this commit: cvs rdiff -u -r1.57 -r1.58 src/usr.bin

CVS commit: src/usr.bin/xlint/lint1

2021-01-16 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 16 18:46:59 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: simplify typeok_strict_bool_assign When that function is called, the nodes are already before_conversion. To generate a diff of thi

CVS commit: src/usr.bin/xlint/lint1

2021-01-16 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 16 19:03:47 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: ops.def tree.c Log Message: lint: in strict bool mode, perform the normal checks as well To generate a diff of this commit: cvs rdiff -u -r1.11 -r1.12 src/usr

CVS commit: src/usr.bin/xlint/lint1

2021-01-16 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 16 19:11:36 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: refactor strict bool mode and improve comments The previous comment above typeok_strict_bool_compatible was too hard to understand.

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 11:28:02 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c func.c Log Message: lint: fix type mismatch for strict bool mode No functional change. To generate a diff of this commit: cvs rdiff -u -r1.124 -r1.125

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 11:55:55 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: err.c Log Message: lint: rename local variables in lbasename To generate a diff of this commit: cvs rdiff -u -r1.67 -r1.68 src/usr.bin/xlint/lint1/err.c Plea

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 12:23:01 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: op.h tree.c Log Message: lint: rename mod_t members To generate a diff of this commit: cvs rdiff -u -r1.12 -r1.13 src/usr.bin/xlint/lint1/op.h cvs rdiff -u -r

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 14:26:31 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: flatten check_pointer_integer_conversion To generate a diff of this commit: cvs rdiff -u -r1.165 -r1.166 src/usr.bin/xlint/lint1/tre

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 14:37:49 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: extract fallback_symbol from new_name_node The code was too close to the right margin, causing unnatural line breaks. Furthermore it

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 14:50:11 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y emit1.c func.c ops.def tree.c Log Message: lint: rename operator AMPER to ADDR There is no operator called 'ampersand'. The ampersand sign is merely t

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 14:55:22 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y ops.def tree.c Log Message: lint: rename operator STAR to INDIR C99 calls this operator the "indirection operator". The word "star" does not occur in

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 15:06:54 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y ops.def scan.l tree.c Log Message: lint: rename bitwise operators When there are several variants of the AND operator, both of them should get a distin

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 15:09:56 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y scan.l Log Message: lint: rename T_AND to T_AMPER When parsing a text into a C program, the character '&' does not yet mean 'bitwise and', it could als

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 15:24:03 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c tree.c Log Message: lint: replace integer constants with bool constants To generate a diff of this commit: cvs rdiff -u -r1.125 -r1.126 src/usr.bin/xli

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 15:31:11 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: reduce scope of local variables in check_expr_misc To generate a diff of this commit: cvs rdiff -u -r1.172 -r1.173 src/usr.bin/xlint

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 15:40:28 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: externs1.h init.c tree.c Log Message: lint: fix return type of conaddr To generate a diff of this commit: cvs rdiff -u -r1.56 -r1.57 src/usr.bin/xlint/lint1/e

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 16:01:19 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: clean up typeok_ordered_comparison To generate a diff of this commit: cvs rdiff -u -r1.174 -r1.175 src/usr.bin/xlint/lint1/tree.c P

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 16:25:30 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c lint1.h tree.c Log Message: lint: extend a few message comments To generate a diff of this commit: cvs rdiff -u -r1.126 -r1.127 src/usr.bin/xlint/lint1

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 16:32:36 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: flatten typeok_ordered_comparison To generate a diff of this commit: cvs rdiff -u -r1.177 -r1.178 src/usr.bin/xlint/lint1/tree.c Pl

CVS commit: src/usr.bin/xlint/lint1

2021-01-17 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 17 17:16:47 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: rename typeok_amper to typeok_address This is about the address-of operator, not about the '&' sign that is also used for bitwise and

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 16:29:59 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y scan.l Log Message: lint: rename T_STROP to T_MEMBACC The 'STR' was misleading since it is the abbreviation for 'string' in many other programs. Membe

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 16:34:09 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y scan.l Log Message: lint: rename T_ELLIPSE to T_ELLIPSIS The 3 dots have nothing to do with geometry. To generate a diff of this commit: cvs rdiff -u

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 16:41:57 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y externs1.h scan.l Log Message: lint: expand abbreviations in function names To generate a diff of this commit: cvs rdiff -u -r1.147 -r1.148 src/usr.bi

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 16:47:46 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y scan.l Log Message: lint: replace abort with lint_assert To generate a diff of this commit: cvs rdiff -u -r1.148 -r1.149 src/usr.bin/xlint/lint1/cgram

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 17:11:14 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: scan.l Log Message: lint: remove redundant operators from lexer Several tokens correspond to exactly one operator. For these tokens, the operator is never acc

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 17:20:15 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y scan.l Log Message: lint: align token names with the wording from C99 To generate a diff of this commit: cvs rdiff -u -r1.149 -r1.150 src/usr.bin/xlin

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 17:47:44 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y Log Message: lint: don't treat restrict and _Thread_local as volatile anymore To generate a diff of this commit: cvs rdiff -u -r1.150 -r1.151 src/usr.

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 17:54:50 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y scan.l Log Message: lint: rename T_SOU to T_STRUCT_OR_UNION This abbreviation occurred too seldom to be used. To generate a diff of this commit: cvs

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 17:59:51 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y Log Message: lint: sort tokens in grammar To generate a diff of this commit: cvs rdiff -u -r1.152 -r1.153 src/usr.bin/xlint/lint1/cgram.y Please note

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 18:14:57 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y Log Message: lint: fix precedence of __builtin_offsetof A previous version of the C grammar contained TBUILTIN_SIZEOF in this place, which had two typo

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 18:18:20 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y Log Message: lint: rename grammar rules to align with C99 6.7.6 To generate a diff of this commit: cvs rdiff -u -r1.154 -r1.155 src/usr.bin/xlint/lint

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 18:53:28 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y Log Message: lint: rename grammar rule lorange It looked too much like an orange. To generate a diff of this commit: cvs rdiff -u -r1.155 -r1.156 src

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 19:21:53 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c Log Message: lint: flatten check_global_variable_size To generate a diff of this commit: cvs rdiff -u -r1.128 -r1.129 src/usr.bin/xlint/lint1/decl.c P

CVS commit: src/usr.bin/xlint/lint1

2021-01-18 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Jan 18 19:24:09 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y decl.c func.c lint1.h Log Message: lint: clean up member names of control_structure and comments To generate a diff of this commit: cvs rdiff -u -r1.1

CVS commit: src/usr.bin/xlint/lint1

2021-01-23 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 23 17:58:03 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: Makefile externs1.h scan.l Added Files: src/usr.bin/xlint/lint1: lex.c Log Message: lint: move lexer code from scan.l to lex.c Previously, the generate

CVS commit: src/usr.bin/xlint/lint1

2021-01-23 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 23 18:30:29 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: lex.c Log Message: lint: clean up comments and variable names in lex.c To generate a diff of this commit: cvs rdiff -u -r1.1 -r1.2 src/usr.bin/xlint/lint1/lex

CVS commit: src/usr.bin/xlint/lint1

2021-01-23 Thread Christos Zoulas
Module Name:src Committed By: christos Date: Sun Jan 24 00:02:38 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: lex.c Log Message: fix the build To generate a diff of this commit: cvs rdiff -u -r1.3 -r1.4 src/usr.bin/xlint/lint1/lex.c Please note that diffs are not p

CVS commit: src/usr.bin/xlint/lint1

2021-01-24 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 24 09:25:17 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: externs1.h lex.c scan.l Log Message: lint: expand abbreviations in lexer function names No functional change. To generate a diff of this commit: cvs rdiff -u

CVS commit: src/usr.bin/xlint/lint1

2021-01-24 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 24 09:44:35 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: lex.c Log Message: lint: fix build on Cygwin Cygwin does not conform to C99, which says that MB_CUR_MAX has type size_t. Instead, Cygwin defines it as type in

CVS commit: src/usr.bin/xlint/lint1

2021-01-24 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 24 10:55:11 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: clean up typeok_eq and check_pointer_comparison Since typeok_eq does not issue any diagnostics, prefix it with "is_". By convention,

CVS commit: src/usr.bin/xlint/lint1

2021-01-24 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 24 10:57:17 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: fix local variable names in check_pointer_comparison To generate a diff of this commit: cvs rdiff -u -r1.187 -r1.188 src/usr.bin/xli

CVS commit: src/usr.bin/xlint/lint1

2021-01-24 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Jan 24 11:34:01 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: extract duplicate code into is_null_pointer No functional change. To generate a diff of this commit: cvs rdiff -u -r1.189 -r1.190 s

CVS commit: src/usr.bin/xlint/lint1

2021-01-30 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 30 18:12:07 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: remove redundant parentheses No functional change. To generate a diff of this commit: cvs rdiff -u -r1.191 -r1.192 src/usr.bin/xlin

CVS commit: src/usr.bin/xlint/lint1

2021-01-30 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 30 18:14:25 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: fix type conversion for very large data types Data types that are 4 GB or larger are an edge case. Nevertheless, compute their size

CVS commit: src/usr.bin/xlint/lint1

2021-01-30 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 30 18:16:45 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c externs1.h func.c init.c tree.c Log Message: lint: rename incompl to is_incomplete No functional change. To generate a diff of this commit: cvs rdiff

CVS commit: src/usr.bin/xlint/lint1

2021-01-30 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 30 21:49:08 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: err.c tree.c Log Message: lint: add type information to warning about troublesome casts The previous warning text did not mention the actual types that are inv

CVS commit: src/usr.bin/xlint/lint1

2021-01-30 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 30 21:58:04 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: err.c tree.c Log Message: lint: add type information to message 275 Before: cast discards 'const' from pointer target type After: cast discards 'const' from t

CVS commit: src/usr.bin/xlint/lint1

2021-01-30 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 30 22:48:50 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: extract has_side_effect from check_null_effect No functional change. To generate a diff of this commit: cvs rdiff -u -r1.196 -r1.19

CVS commit: src/usr.bin/xlint/lint1

2021-01-30 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Jan 30 23:15:32 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: flatten has_side_effect Since GCC performs tail call optimization, the generated code is practically the same. Replace redundant com

CVS commit: src/usr.bin/xlint/lint1

2021-02-14 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Feb 15 07:36:40 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: extract typeok_colon_pointer from typeok_colon The subtype information is now only accessed if both operands are actually pointers.

CVS commit: src/usr.bin/xlint/lint1

2021-02-14 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Feb 15 07:40:18 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: remove redundant comment That comment was useful when there was no function is_null_pointer. Back then, the code for testing a null p

CVS commit: src/usr.bin/xlint/lint1

2021-02-19 Thread Roland Illig
Module Name:src Committed By: rillig Date: Fri Feb 19 14:44:29 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: ckgetopt.c Log Message: lint: fix build in tools mode To generate a diff of this commit: cvs rdiff -u -r1.1 -r1.2 src/usr.bin/xlint/lint1/ckgetopt.c Please n

CVS commit: src/usr.bin/xlint/lint1

2021-02-19 Thread Roland Illig
Module Name:src Committed By: rillig Date: Fri Feb 19 21:35:44 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: func.c lint1.h Log Message: lint: replace cryptic sym.s_rimpl with expressive name No functional change. To generate a diff of this commit: cvs rdiff -u -r1.

CVS commit: src/usr.bin/xlint/lint1

2021-02-19 Thread Roland Illig
Module Name:src Committed By: rillig Date: Fri Feb 19 22:35:42 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y decl.c lint1.h Log Message: lint: rename storage class constants to be more expressive No functional change. To generate a diff of this commit: cvs r

CVS commit: src/usr.bin/xlint/lint1

2021-02-19 Thread Roland Illig
Module Name:src Committed By: rillig Date: Fri Feb 19 23:22:19 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: check-msgs.lua Log Message: lint: shorten code in check-msgs.lua No functional change. To generate a diff of this commit: cvs rdiff -u -r1.6 -r1.7 src/usr.bi

CVS commit: src/usr.bin/xlint/lint1

2021-02-19 Thread Roland Illig
Module Name:src Committed By: rillig Date: Fri Feb 19 23:25:26 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: Makefile Log Message: lint: remove gcov results on "make clean" To generate a diff of this commit: cvs rdiff -u -r1.60 -r1.61 src/usr.bin/xlint/lint1/Makefile

CVS commit: src/usr.bin/xlint/lint1

2021-02-19 Thread Christos Zoulas
Module Name:src Committed By: christos Date: Sat Feb 20 01:18:03 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: ckgetopt.c Log Message: Prevent crashing when options are NULL in libc while linting src/lib/libc/posix1e/acl_from_text.c To generate a diff of this com

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 09:57:02 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: ckgetopt.c Log Message: lint: fix crash from ckgetopt.c 1.2 and document the data structures To generate a diff of this commit: cvs rdiff -u -r1.3 -r1.4 src/u

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 10:01:27 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: ckgetopt.c Log Message: lint: clean up check for getopt The original options string is not needed during the check. Having only the unhandled options suffices

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 10:12:52 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: ckgetopt.c Log Message: lint: reduce duplicate code in check for getopt This also changes the conditions to their positive form, which is easier to read. No f

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 11:06:56 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: lex.c Log Message: lint: make parsing of GCC line directives stricter The previous code accepted '# 123 "file.c" 23' as specifying a system header, just becaus

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 15:23:07 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: add hierarchical debug logging for initializations No functional change for default mode. To generate a diff of this commit: cvs rd

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 16:03:56 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: cgram.y externs1.h init.c Log Message: lint: rename mkinit to init_using_expr No functional change outside debug mode. To generate a diff of this commit: cvs

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 16:34:57 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: externs1.h init.c tree.c Log Message: lint: extend debugging for initializing objects No functional change outside debug mode. To generate a diff of this com

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 17:12:00 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: document an assumption that has turned wrong with C99 To generate a diff of this commit: cvs rdiff -u -r1.70 -r1.71 src/usr.bin/xlin

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 17:24:37 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: define debug_named_member only in debug mode In non-debug mode it was an expensive no-op. To generate a diff of this commit: cvs rd

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 17:44:39 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: in debug mode, print the initialization stack This is the central data structure of the initializations, it keeps track of the object

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 18:10:23 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: Makefile Log Message: lint: document how to compile lint1 in debug mode To generate a diff of this commit: cvs rdiff -u -r1.61 -r1.62 src/usr.bin/xlint/lint1/

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 20 19:56:44 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: fix lint warning 'expression has null effect' To generate a diff of this commit: cvs rdiff -u -r1.74 -r1.75 src/usr.bin/xlint/lint1/

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 07:21:57 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: externs1.h init.c tree.c Log Message: lint: indent node details in debug mode To generate a diff of this commit: cvs rdiff -u -r1.68 -r1.69 src/usr.bin/xlint/

CVS commit: src/usr.bin/xlint/lint1

2021-02-20 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 07:59:17 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: externs1.h Log Message: lint: fix definition of debug_node in non-debug mode To generate a diff of this commit: cvs rdiff -u -r1.69 -r1.70 src/usr.bin/xlint/l

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 08:01:14 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: rename members of struct istk to be more expressive No functional change outside debug mode. To generate a diff of this commit: cvs

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 08:27:41 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: reduce amount of debug output during initialization To generate a diff of this commit: cvs rdiff -u -r1.77 -r1.78 src/usr.bin/xlint/

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 09:24:32 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: rename istk to initstack_element The longer name is more expressive and more correct. The previous name called each stack element a

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 10:03:35 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: clean up debug logging in initstack_pop_item The debug logging contained much redundant information and was misleading in a few place

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 11:23:33 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c tree.c Log Message: lint: always initialize return values of constant_addr Before, the caller was responsible for initializing the return values from th

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 13:13:15 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: document i_brace, add comments, rename initstack_string No functional change outside debug mode. To generate a diff of this commit:

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 13:27:22 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: mem1.c Log Message: lint: clean up comments in mem1.c The comment for tgetblk had been misplaced. To generate a diff of this commit: cvs rdiff -u -r1.25 -r1.

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 13:52:21 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: remove redundant debug logging In initstack_pop_nobrace, if anything happens to the initstack, it will be logged by initstack_pop_ite

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 14:02:36 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: rename and condense initstack_check_too_many No functional change. To generate a diff of this commit: cvs rdiff -u -r1.83 -r1.84 sr

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 14:57:25 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c Log Message: lint: extract check_bit_field_init from init_using_expr No functional change. To generate a diff of this commit: cvs rdiff -u -r1.85 -r1.

CVS commit: src/usr.bin/xlint/lint1

2021-02-21 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 21 15:02:16 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: externs1.h init.c tree.c Log Message: lint: extract check_non_constant_initializer from init_using_expr No functional change. To generate a diff of this comm

CVS commit: src/usr.bin/xlint/lint1

2021-02-22 Thread Roland Illig
Module Name:src Committed By: rillig Date: Mon Feb 22 15:01:03 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: init.c tree.c Log Message: lint: improve debug message and comment To generate a diff of this commit: cvs rdiff -u -r1.87 -r1.88 src/usr.bin/xlint/lint1/init.

CVS commit: src/usr.bin/xlint/lint1

2021-02-27 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sat Feb 27 15:26:30 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: rename confusing local variable The variable name rtp is reserved for the type of the right-hand operand. No functional change. To

CVS commit: src/usr.bin/xlint/lint1

2021-02-27 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 00:23:55 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c externs1.h tree.c Log Message: lint: rename getbound to alignment_in_bits No functional change. To generate a diff of this commit: cvs rdiff -u -r1.13

CVS commit: src/usr.bin/xlint/lint1

2021-02-27 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 00:28:47 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: skip alignment computation if possible Testing a global variable is simpler than calling a 20-line function. No functional change.

CVS commit: src/usr.bin/xlint/lint1

2021-02-27 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 03:05:12 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c Log Message: lint: extract declare_bit_field from declarator_1_struct_union No functional change. To generate a diff of this commit: cvs rdiff -u -r1.

CVS commit: src/usr.bin/xlint/lint1

2021-02-27 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 03:14:44 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: decl.c Log Message: lint: document allowed types for bit-fields No functional change. To generate a diff of this commit: cvs rdiff -u -r1.141 -r1.142 src/usr

CVS commit: src/usr.bin/xlint/lint1

2021-02-27 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 03:33:18 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: rename parameter in function 'expr' For symmetry with the function is_constcond_false. No functional change. To generate a diff of

CVS commit: src/usr.bin/xlint/lint1

2021-02-28 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 12:45:47 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: check-msgs.lua Log Message: tests/lint: shorten code for checking redundancy in files No functional change. To generate a diff of this commit: cvs rdiff -u -

CVS commit: src/usr.bin/xlint/lint1

2021-02-28 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 19:16:05 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: func.c lint1.h tree.c Log Message: lint: rename is_nonzero to constant_is_nonzero The new function name emphasizes that the given node must have the operator C

CVS commit: src/usr.bin/xlint/lint1

2021-02-28 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 19:24:15 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: lint1.h tree.c Log Message: lint: replace wrong comment with assertion The broad type of a value is indeed stored in the value itself, in the member v_tspec.

CVS commit: src/usr.bin/xlint/lint1

2021-02-28 Thread Roland Illig
Module Name:src Committed By: rillig Date: Sun Feb 28 20:04:52 UTC 2021 Modified Files: src/usr.bin/xlint/lint1: tree.c Log Message: lint: document where in C99 the behavior of cconv is specified To generate a diff of this commit: cvs rdiff -u -r1.230 -r1.231 src/usr.bin

<    1   2   3   4   5   6   7   8   >