CVS log for src/usr.bin/xlint/lint1/README.md

Up to [cvs.NetBSD.org] / src / usr.bin / xlint / lint1

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.10 / (download) - annotate - [select for diffs], Sat Jan 21 21:14:38 2023 UTC (2 weeks ago) by rillig
Branch: MAIN
CVS Tags: HEAD
Changes since 1.9: +51 -15 lines
Diff to previous 1.9 (colored)

lint: extend developer documentation

Revision 1.9 / (download) - annotate - [select for diffs], Fri Jul 8 20:27:36 2022 UTC (6 months, 4 weeks ago) by rillig
Branch: MAIN
CVS Tags: netbsd-10-base, netbsd-10
Changes since 1.8: +11 -10 lines
Diff to previous 1.8 (colored)

lint: fix query for redundant cast before assignment

Previously, 'i = (int)dbl' was marked as redundant, even though it
performs a value conversion.

Revision 1.8 / (download) - annotate - [select for diffs], Tue Jul 5 22:50:41 2022 UTC (7 months ago) by rillig
Branch: MAIN
Changes since 1.7: +5 -3 lines
Diff to previous 1.7 (colored)

lint: add additional queries that are not enabled by default

In the last 18 months, several lint warnings have been made adjusted to
allow common usage patterns.  For example, lint no longer warns about a
constant condition in the statement 'do { ... } while (false)' (message
161), as this pattern is well-known in statement-like macros, making it
unlikely that the 'false' is a mistake.  Another example is casts
between unequal pointer types (message 247) for a few well-known
patterns that are unlikely to be bugs.

Occasionally, it is useful to query the code for patterns or events that
would not justify a warning.  These patterns are modeled as predefined
queries that can be selected individually, in addition to and
independently of the existing warnings and errors.

New queries can be added as needed, in the same way as new warnings.
Queries that are deemed no longer used can be deactivated in the same
way as warnings that are no longer used.

As long as none of the queries is enabled, they produce a minimal
overhead of querying a single global variable.  Computations that are
more expensive than a few machine instructions should be guarded by
any_query_enabled.

https://mail-index.netbsd.org/source-changes-d/2022/06/28/msg013716.html

ok christos@

Revision 1.7 / (download) - annotate - [select for diffs], Sun Jul 3 19:47:34 2022 UTC (7 months ago) by rillig
Branch: MAIN
Changes since 1.6: +45 -17 lines
Diff to previous 1.6 (colored)

lint: extend implementation documentation

Revision 1.6 / (download) - annotate - [select for diffs], Fri Jun 17 18:54:53 2022 UTC (7 months, 2 weeks ago) by rillig
Branch: MAIN
Changes since 1.5: +4 -2 lines
Diff to previous 1.5 (colored)

tests/lint: make 'expect+-' comments stricter

Previously, the expectations from these comments were already satisfied
if the expectation occurred somewhere in the actual message from lint.
This meant that the prefix 'error:' or 'warning:' could be omitted from
the 'expect' comment.  These omissions were hard to see in a manual
review.  Now any omissions must be visually marked with '...'.

The test msg_342 now reports its messages properly as being in the file
msg_342.c, rather than msg_341.c.  This had been a copy-and-paste
mistake.

Revision 1.5 / (download) - annotate - [select for diffs], Wed Jun 15 18:11:02 2022 UTC (7 months, 3 weeks ago) by rillig
Branch: MAIN
Changes since 1.4: +3 -3 lines
Diff to previous 1.4 (colored)

lint: clean up an empty line and the documentation

No functional change.

Revision 1.4 / (download) - annotate - [select for diffs], Sat Apr 16 20:18:51 2022 UTC (9 months, 2 weeks ago) by rillig
Branch: MAIN
Changes since 1.3: +5 -5 lines
Diff to previous 1.3 (colored)

lint: fix instructions for adding a new test

Revision 1.3 / (download) - annotate - [select for diffs], Sat Apr 16 09:18:33 2022 UTC (9 months, 2 weeks ago) by rillig
Branch: MAIN
Changes since 1.2: +38 -17 lines
Diff to previous 1.2 (colored)

lint: extend README

Revision 1.2 / (download) - annotate - [select for diffs], Wed Apr 13 22:58:18 2022 UTC (9 months, 3 weeks ago) by rillig
Branch: MAIN
Changes since 1.1: +21 -6 lines
Diff to previous 1.1 (colored)

lint: remove trailing whitespace from README, add useful breakpoints

Revision 1.1 / (download) - annotate - [select for diffs], Sun Apr 10 00:42:29 2022 UTC (9 months, 3 weeks ago) by rillig
Branch: MAIN

lint: add quickstart documentation to the implementation of lint

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.