On Jun 28, 9:30pm, roland.il...@gmx.de (Roland Illig) wrote:
-- Subject: Re: lint warnings
| I agree on this use case. On the same scheme, I'd have a few more use
| cases, and eventually this might lead to a query language for inspecting
| C code. I'm thinking of queries like:
|
|
strictly compatible
* pointer casts after function calls to 'malloc'
* conversion from array to pointer
Short of having this runtime query language, these questions might be
implemented as lint warnings that are disabled by default and could be
enabled by their message ID or a descriptive nam
On 2022-06-28 12:10 am, Roland Illig wrote:
Am 27.06.2022 um 20:20 schrieb Christos Zoulas:
In article <68ea25e4-a22b-4fbc-af8c-30c4195d2...@gmx.de>,
Roland Illig wrote:
27.06.2022 01:20:20 Christos Zoulas :
In article <20220624201621.ef2aff...@cvs.netbsd.org>,
Roland Illig wrote:
-=-=-=-
Am 27.06.2022 um 20:20 schrieb Christos Zoulas:
In article <68ea25e4-a22b-4fbc-af8c-30c4195d2...@gmx.de>,
Roland Illig wrote:
27.06.2022 01:20:20 Christos Zoulas :
In article <20220624201621.ef2aff...@cvs.netbsd.org>,
Roland Illig wrote:
-=-=-=-=-=-
Module Name: src
Committed By: ril
In article <68ea25e4-a22b-4fbc-af8c-30c4195d2...@gmx.de>,
Roland Illig wrote:
>27.06.2022 01:20:20 Christos Zoulas :
>
>> In article <20220624201621.ef2aff...@cvs.netbsd.org>,
>> Roland Illig wrote:
>>> -=-=-=-=-=-
>>>
>>> Module Name:Â Â Â src
>>> Committed By:Â Â rillig
>>> Date:Â Â Â Â Â Â
27.06.2022 01:20:20 Christos Zoulas :
> In article <20220624201621.ef2aff...@cvs.netbsd.org>,
> Roland Illig wrote:
>> -=-=-=-=-=-
>>
>> Module Name: src
>> Committed By: rillig
>> Date: Fri Jun 24 20:16:21 UTC 2022
>>
>> Modified Files:
>> src/tests/usr.bin/xlint/lint1: msg_247.c
