From: Andrey Vatoropin
Static analysis shows that pointer "table" cannot be NULL because it
points to the object "struct amdgpu_cac_leakage_table".
Remove the extra NULL check. It is meaningless and harms the readability
of the code.
Found by Linux Verification Center (linuxtesting.org) with S
From: Andrey Vatoropin
Static analysis shows that pointer "dte_data" cannot be NULL because it
points to the object "struct si_dte_data".
Remove the extra NULL check. It is meaningless and harms the readability
of the code.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Sig
On Fri, Sep 6, 2019 at 3:01 AM zhong jiang wrote:
>
> On 2019/9/5 16:38, Markus Elfring wrote:
> >>> Were any source code analysis tools involved for finding
> >>> these update candidates?
> >> With the help of Coccinelle. You can find out some example in
> >> scripts/coccinelle/.
> > Thanks for
On 2019/9/5 16:38, Markus Elfring wrote:
>>> Were any source code analysis tools involved for finding
>>> these update candidates?
>> With the help of Coccinelle. You can find out some example in
>> scripts/coccinelle/.
> Thanks for such background information.
> Was the script “ifnullfree.cocci”
>> Were any source code analysis tools involved for finding
>> these update candidates?
> With the help of Coccinelle. You can find out some example in
> scripts/coccinelle/.
Thanks for such background information.
Was the script “ifnullfree.cocci” applied here?
Will it be helpful to add attribu
