<feed xmlns='http://www.w3.org/2005/Atom'>
<title>netbsd/tests/usr.bin/xlint/lint1/d_c99_bool_strict.c, branch trunk</title>
<subtitle>NetBSD fork for lockdoc analysis</subtitle>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/'/>
<entry>
<title>lint: remove redundant '#' after 'argument' in diagnostics</title>
<updated>2023-07-09T10:42:07+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-07-09T10:42:07+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=61a832267cc5bff1a90f086bd56309a3a0671255'/>
<id>61a832267cc5bff1a90f086bd56309a3a0671255</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>tests/lint: clean up tests for C99 bool</title>
<updated>2023-07-03T09:37:14+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-07-03T09:37:14+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=352b0bad7fc30c8f52e85dd64246039191f90b43'/>
<id>352b0bad7fc30c8f52e85dd64246039191f90b43</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>lint: warn about extern declarations outside headers</title>
<updated>2023-03-28T14:44:34+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-03-28T14:44:34+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=ea64962370dcb8ab0cef70a139b7d17a37ec97cd'/>
<id>ea64962370dcb8ab0cef70a139b7d17a37ec97cd</id>
<content type='text'>
https://mail-index.netbsd.org/tech-userlevel/2023/03/15/msg013727.html</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
https://mail-index.netbsd.org/tech-userlevel/2023/03/15/msg013727.html</pre>
</div>
</content>
</entry>
<entry>
<title>lint: add quotes around placeholders for the remaining messages</title>
<updated>2022-06-22T19:23:17+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2022-06-22T19:23:17+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=884b0e6acbba8fb34c734c460ddbcf869dd14231'/>
<id>884b0e6acbba8fb34c734c460ddbcf869dd14231</id>
<content type='text'>
Reword some of the messages slightly, exchanging brevity for clarity.

Message 138 is kept as-is, as it is not yet covered by any tests.

Message 240 is kep as-is, as it is unreachable.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Reword some of the messages slightly, exchanging brevity for clarity.

Message 138 is kept as-is, as it is not yet covered by any tests.

Message 240 is kep as-is, as it is unreachable.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: add quotes around placeholders in 4 messages</title>
<updated>2022-06-19T12:14:33+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2022-06-19T12:14:33+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=341388467aaca89f9dab70441903919938c124a9'/>
<id>341388467aaca89f9dab70441903919938c124a9</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>lint: encode lifetime of allocated memory in the function names</title>
<updated>2022-02-27T08:31:26+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2022-02-27T08:31:26+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=66106a1f33925db262841e7da6190188c419e42e'/>
<id>66106a1f33925db262841e7da6190188c419e42e</id>
<content type='text'>
No functional change.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
No functional change.</pre>
</div>
</content>
</entry>
<entry>
<title>tests/lint: expect complete messages in feature tests</title>
<updated>2022-01-15T14:22:03+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2022-01-15T14:22:03+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=7cdb34758f6be65c5d5efe23a7c4edb7f125f701'/>
<id>7cdb34758f6be65c5d5efe23a7c4edb7f125f701</id>
<content type='text'>
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.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
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.</pre>
</div>
</content>
</entry>
<entry>
<title>tests/lint: fix negation in explanation for strict bool mode</title>
<updated>2021-11-20T17:27:46+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2021-11-20T17:27:46+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=ca1b72091bb989eceeb2e966509edd60c4b095e6'/>
<id>ca1b72091bb989eceeb2e966509edd60c4b095e6</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>lint: fix check for function calls in strict bool mode</title>
<updated>2021-11-16T21:01:05+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2021-11-16T21:01:05+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=0a6bce845e91b1e5f9a3d673d47434a9e549c5c3'/>
<id>0a6bce845e91b1e5f9a3d673d47434a9e549c5c3</id>
<content type='text'>
Previously, if a function call occurred in the controlling expression,
its return type could be any scalar, not just bool.  This was against
the goal of strict bool mode, which makes bool a separate and
incompabile type to all other types.  For example, it would allow
controlling expressions like 'strcmp(a, b)' without the usual '!= 0',
but only if at least one of 'a' and 'b' came from a macro definition
from a system header.

The fix is that the decision of whether the type of the controlling
expression may be scalar is no longer based on the operand types but on
the main operator of the controlling expression.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Previously, if a function call occurred in the controlling expression,
its return type could be any scalar, not just bool.  This was against
the goal of strict bool mode, which makes bool a separate and
incompabile type to all other types.  For example, it would allow
controlling expressions like 'strcmp(a, b)' without the usual '!= 0',
but only if at least one of 'a' and 'b' came from a macro definition
from a system header.

The fix is that the decision of whether the type of the controlling
expression may be scalar is no longer based on the operand types but on
the main operator of the controlling expression.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: fix wrong error message in strict bool mode</title>
<updated>2021-11-16T18:27:04+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2021-11-16T18:27:04+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=5a873e518456578dc46838253861c2fe65655b1b'/>
<id>5a873e518456578dc46838253861c2fe65655b1b</id>
<content type='text'>
This fix only affects the last token before a macro, as well as the last
token in the expanded macro.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
This fix only affects the last token before a macro, as well as the last
token in the expanded macro.</pre>
</div>
</content>
</entry>
</feed>
