The NetBSD Project

CVS log for src/tests/usr.bin/xlint/lint1/d_c99_bool.c

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

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.11 / (download) - annotate - [select for diffs], Mon Jul 3 09:37:14 2023 UTC (7 months, 4 weeks ago) by rillig
Branch: MAIN
CVS Tags: HEAD
Changes since 1.10: +47 -83 lines
Diff to previous 1.10 (colored)

tests/lint: clean up tests for C99 bool

Revision 1.10 / (download) - annotate - [select for diffs], Tue Mar 28 14:44:34 2023 UTC (11 months ago) by rillig
Branch: MAIN
Changes since 1.9: +3 -1 lines
Diff to previous 1.9 (colored)

lint: warn about extern declarations outside headers

https://mail-index.netbsd.org/tech-userlevel/2023/03/15/msg013727.html

Revision 1.9 / (download) - annotate - [select for diffs], Sun Jan 16 08:40:31 2022 UTC (2 years, 1 month ago) by rillig
Branch: MAIN
CVS Tags: netbsd-10-base, netbsd-10-0-RC5, netbsd-10-0-RC4, netbsd-10-0-RC3, netbsd-10-0-RC2, netbsd-10-0-RC1, netbsd-10
Changes since 1.8: +4 -3 lines
Diff to previous 1.8 (colored)

tests/lint: update comment to reality

Revision 1.8 / (download) - annotate - [select for diffs], Sat Jan 15 14:22:03 2022 UTC (2 years, 1 month ago) by rillig
Branch: MAIN
Changes since 1.7: +23 -12 lines
Diff to previous 1.7 (colored)

tests/lint: expect complete messages in feature tests

Previously, the tests contained many comments like /* expect: 123 */,
which were useless to a casual reader since nobody is expected to learn
lint's message IDs by heart.  Replace these with the complete
diagnostics, to show what lint is complaining about.

The tests named msg_*.c have been left unmodified since they mention the
full message text in their header comment.

No functional change.

Revision 1.7 / (download) - annotate - [select for diffs], Tue Mar 30 14:25:28 2021 UTC (2 years, 11 months ago) by rillig
Branch: MAIN
CVS Tags: cjep_sun2x-base1, cjep_sun2x-base, cjep_sun2x, cjep_staticlib_x-base1, cjep_staticlib_x-base, cjep_staticlib_x
Changes since 1.6: +2 -2 lines
Diff to previous 1.6 (colored)

lint: rewrite handling of initializations, fixing several bugs

The previous implementation had a wrong model of how initialization
happens in C99, its assertions failed in all kind of edge cases and it
was not possible to fix the remaining bugs one at a time without running
into even more obscure assertion failures.

The debug logging was detailed but did not help to clarify the
situation.  After about 20 failed attempts at fixing the small details I
decided to start all over and rewrite the initialization code from
scratch.  I left the low-level parts of handling designators, the code
that is independent of brace_level and the high-level parts of how the
parser calls into this module.  Everything else is completely new.

The concept of a brace level stays since that is how C99 describes
initialization.  The previous code could not handle multi-level
designations (see d_init_pop_member.c).  There are no more assertion
failures in the initialization code.

Some TODO comments have been left in the tests to keep the line numbers
the same in this commit.  These will be cleaned up in a follow-up
commit.

The new implementation does not handle initialization with "missing"
braces.  This is an edge case that both GCC and Clang warn about, so it
is not widely used.  If necessary, it may be added later.

The new implementation does not use any global variables in the vast
majority of the functions, to make all dependencies and possible
modifications obvious.

Revision 1.6 / (download) - annotate - [select for diffs], Sun Feb 21 09:07:58 2021 UTC (3 years ago) by rillig
Branch: MAIN
Changes since 1.5: +12 -12 lines
Diff to previous 1.5 (colored)

lint: force each test to declare the expected diagnostics

By listing the expected diagnostics directly at the code that triggers
the diagnostics, it is easier to cross-check whether the diagnostics
make sense.

No functional change to lint itself.

Revision 1.5 / (download) - annotate - [select for diffs], Sun Jan 10 13:17:24 2021 UTC (3 years, 1 month ago) by rillig
Branch: MAIN
Changes since 1.4: +14 -5 lines
Diff to previous 1.4 (colored)

lint: explain missing error for _Bool constant expressions

Revision 1.4 / (download) - annotate - [select for diffs], Sun Jan 10 12:46:38 2021 UTC (3 years, 1 month ago) by rillig
Branch: MAIN
Changes since 1.3: +5 -5 lines
Diff to previous 1.3 (colored)

lint: fix conversion of non-constant scalar to _Bool

Revision 1.3 / (download) - annotate - [select for diffs], Sun Jan 10 12:34:56 2021 UTC (3 years, 1 month ago) by rillig
Branch: MAIN
Changes since 1.2: +9 -9 lines
Diff to previous 1.2 (colored)

lint: fix conversion of constant expressions to _Bool

Revision 1.2 / (download) - annotate - [select for diffs], Sun Jan 10 12:29:46 2021 UTC (3 years, 1 month ago) by rillig
Branch: MAIN
Changes since 1.1: +53 -1 lines
Diff to previous 1.1 (colored)

lint: add test for converting non-constant expressions to _Bool

Revision 1.1 / (download) - annotate - [select for diffs], Sun Jan 10 11:24:42 2021 UTC (3 years, 1 month ago) by rillig
Branch: MAIN

lint: demonstrate wrong handling of conversion to _Bool

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.




CVSweb <webmaster@jp.NetBSD.org>