[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <a0ba32c892654a2bb60327e103d181fb@AcuMS.aculab.com>
Date: Wed, 20 Sep 2023 11:02:51 +0000
From: David Laight <David.Laight@...LAB.COM>
To: 'Peter Zijlstra' <peterz@...radead.org>,
Linus Torvalds <torvalds@...ux-foundation.org>
CC: Bartosz Golaszewski <bartosz.golaszewski@...aro.org>,
Alexey Dobriyan <adobriyan@...il.com>,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
Linus Walleij <linus.walleij@...aro.org>,
"akpm@...ux-foundation.org" <akpm@...ux-foundation.org>
Subject: RE: Buggy __free(kfree) usage pattern already in tree
If this stuff is so hard to get right for non-trivial cases
perhaps it should all be ripped out?
The trivial cases are pretty easy to eve-ball check and
static analysis tools do a reasonable job.
Maybe I'm 'old-school' but I'd much rather see explicit
unlock() and free() than have 'some compiler magic' do
it for you.
David
-
Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK
Registration No: 1397386 (Wales)
Powered by blists - more mailing lists