Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

To: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>
Subject: Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions
From: Dan Carpenter <dan.carpenter@xxxxxxxxxx>
Date: Fri, 3 Jan 2020 15:55:21 +0300
Cc: Kees Cook <keescook@xxxxxxxxxxxx>, Eric Biggers <ebiggers@xxxxxxxxxx>, Peter Zijlstra <peterz@xxxxxxxxxxxxx>, linux-kernel@xxxxxxxxxxxxxxx, Ingo Molnar <mingo@xxxxxxxxxx>, Will Deacon <will@xxxxxxxxxx>, Elena Reshetova <elena.reshetova@xxxxxxxxx>, Thomas Gleixner <tglx@xxxxxxxxxxxxx>, Anna-Maria Gleixner <anna-maria@xxxxxxxxxxxxx>, Sebastian Andrzej Siewior <bigeasy@xxxxxxxxxxxxx>, linux-sparse@xxxxxxxxxxxxxxx
In-reply-to: <20191230233814.2fgmsgtnhruhklnu@ltop.local>
References: <20191226152922.2034-1-ebiggers@kernel.org> <20191228114918.GU2827@hirez.programming.kicks-ass.net> <201912301042.FB806E1133@keescook> <20191230191547.GA1501@zzz.localdomain> <201912301131.2C7C51E8C6@keescook> <20191230233814.2fgmsgtnhruhklnu@ltop.local>
User-agent: Mutt/1.9.4 (2018-02-28)

I re-wrote Smatch's locking check last month to use the cross function
DB.  Now Smatch can parse refcount_dec_and_lock() directly without any
modifications or annotations.

regards,
dan carpenter

References:
- Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions
  - From: Luc Van Oostenryck

Prev by Date: Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions
Next by Date: Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions
Previous by thread: Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions
Next by thread: Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions
Index(es):
- Date
- Thread

[Index of Archives] [Newbies FAQ] [LKML] [IETF Annouce] [DCCP] [Netdev] [Networking] [Security] [Bugtraq] [Yosemite] [MIPS Linux] [ARM Linux] [Linux Security] [Linux RAID] [Linux SCSI] [Trinity Fuzzer Tool]