[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: JITTER warnings with -fanalyzer
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: JITTER warnings with -fanalyzer |
|
Date: |
Thu, 06 May 2021 00:21:59 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>> 2376:../../jitter/jitterc/jitterc-scanner.c:2583:26: warning: dereference
>> of
>> NULL 'b' [CWE-476] [-Wanalyzer-null-dereference]
>> 2541:../../jitter/jitterc/jitterc-scanner.c:2595:30: warning: dereference
>> of
>> NULL 'b' [CWE-476] [-Wanalyzer-null-dereference]
>> 2723:../../jitter/jitterc/jitterc-scanner.c:2739:12: warning: leak of
>
> False positive as far as I can tell. This code is within a function
> entirely generated by flex, and line numbers seem to match with my flex
> version. Does this analysis run inter-procedurally? If so there might
> be some real problem with its callers, even if I have my doubts.
I think it does, to some extent.