<feed xmlns='http://www.w3.org/2005/Atom'>
<title>netbsd/usr.bin/xlint/common/inittyp.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: warn about pointer casts between different kinds of types</title>
<updated>2023-07-08T16:13:00+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-07-08T16:13:00+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=9299a7c5194512b0d5ea06c7b286d4bae6640791'/>
<id>9299a7c5194512b0d5ea06c7b286d4bae6640791</id>
<content type='text'>
Pointer casts from an integer type to a floating-point type and vice
versa get a 'maybe troublesome' warning now.  The previous assumption
that all types of the same bit-size are convertible may have been valid
from a technical point of view, but still such code should get more
attention.

The rules for struct and union types could be made more fine-grained
later, if the need arises.  To suppress this warning, it's always
possible to cast to an intermediate 'void *'.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Pointer casts from an integer type to a floating-point type and vice
versa get a 'maybe troublesome' warning now.  The previous assumption
that all types of the same bit-size are convertible may have been valid
from a technical point of view, but still such code should get more
attention.

The rules for struct and union types could be made more fine-grained
later, if the need arises.  To suppress this warning, it's always
possible to cast to an intermediate 'void *'.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: clarify the meaning of 'portable size in bits' of a type</title>
<updated>2023-07-08T09:35:35+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-07-08T09:35:35+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=cfcdde557958fc701848686dd4db2d8611322218'/>
<id>cfcdde557958fc701848686dd4db2d8611322218</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>lint: rename uppercase QUAD to LLONG</title>
<updated>2023-07-03T07:03:19+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-07-03T07:03:19+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=acd7fa764fc50148c6df0336fbad6b5629a1ca0d'/>
<id>acd7fa764fc50148c6df0336fbad6b5629a1ca0d</id>
<content type='text'>
No binary change.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
No binary change.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: clean up initialization of type properties</title>
<updated>2023-06-29T10:31:32+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-06-29T10:31:32+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=f26713494bd6088fc2af4f007c5bcb63a6e51ef7'/>
<id>f26713494bd6088fc2af4f007c5bcb63a6e51ef7</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>lint: indent local variables consistently</title>
<updated>2023-06-09T13:03:49+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-06-09T13:03:49+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=189c426f0ae91b02e3a8651d295b0a1281858f13'/>
<id>189c426f0ae91b02e3a8651d295b0a1281858f13</id>
<content type='text'>
No binary change.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
No binary change.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: rename constant NOTSPEC to NO_TSPEC</title>
<updated>2023-05-22T12:55:04+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2023-05-22T12:55:04+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=7e4b1727e041ceea11838440d9cf76b26492161f'/>
<id>7e4b1727e041ceea11838440d9cf76b26492161f</id>
<content type='text'>
It was too easy to misread the old name as NOT_SPEC instead of the
intended NO_TSPEC.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
It was too easy to misread the old name as NOT_SPEC instead of the
intended NO_TSPEC.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: make definitions of basic types simpler</title>
<updated>2022-11-30T20:50:22+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2022-11-30T20:50:22+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=1859cfe3aa77ffc73bb8a12d0f25bea2184f3a10'/>
<id>1859cfe3aa77ffc73bb8a12d0f25bea2184f3a10</id>
<content type='text'>
No binary change.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
No binary change.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: fix edge cases in the query for redundant cast before assignment</title>
<updated>2022-07-08T21:19:06+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2022-07-08T21:19:06+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=8c4672ad8fb511995d4a2dd6e0f6ab86fade0276'/>
<id>8c4672ad8fb511995d4a2dd6e0f6ab86fade0276</id>
<content type='text'>
Casting from and to _Bool is only allowed outside strict bool mode.
Outside strict bool mode, _Bool is an integer type, therefore return
early if any of the operands has type _Bool.  In strict bool mode, even
casting from _Bool to _Bool is not allowed, as it is not needed in
practice.

Handle _Complex types before real floating-point types.  Return early
for _Complex types, as these are floating-point types as well.

For pointer casts, not only flag casts to or from 'pointer to void', but
also casts between the same types.

In debug mode, when constructing the type '_Complex float', the type
name of '_Complex' occurs in the debug log.  Outside of debug mode,
printing this type name is an error since this type keyword only occurs
internally, when constructing a type.  At that point, it is not supposed
to occur in any user-visible message.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Casting from and to _Bool is only allowed outside strict bool mode.
Outside strict bool mode, _Bool is an integer type, therefore return
early if any of the operands has type _Bool.  In strict bool mode, even
casting from _Bool to _Bool is not allowed, as it is not needed in
practice.

Handle _Complex types before real floating-point types.  Return early
for _Complex types, as these are floating-point types as well.

For pointer casts, not only flag casts to or from 'pointer to void', but
also casts between the same types.

In debug mode, when constructing the type '_Complex float', the type
name of '_Complex' occurs in the debug log.  Outside of debug mode,
printing this type name is an error since this type keyword only occurs
internally, when constructing a type.  At that point, it is not supposed
to occur in any user-visible message.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: use __RCSID in lint mode as well</title>
<updated>2022-05-20T21:18:54+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2022-05-20T21:18:54+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=1b06d087746406f352a4eb989a53b23709ed0d76'/>
<id>1b06d087746406f352a4eb989a53b23709ed0d76</id>
<content type='text'>
Since 1995-10-02, lint supports __asm statements and __asm modifiers.

No binary change.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Since 1995-10-02, lint supports __asm statements and __asm modifiers.

No binary change.</pre>
</div>
</content>
</entry>
<entry>
<title>lint: hide irrelevant type information from lint2</title>
<updated>2021-09-05T18:17:15+00:00</updated>
<author>
<name>rillig</name>
<email>rillig@NetBSD.org</email>
</author>
<published>2021-09-05T18:17:15+00:00</published>
<link rel='alternate' type='text/html' href='http://git.infra.scholz.ruhr/netbsd/commit/?id=88f1a64462cc0d21ed833b0887703fca966a4181'/>
<id>88f1a64462cc0d21ed833b0887703fca966a4181</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>
</feed>
