[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <87lhmu2jl8.fsf@devron.myhome.or.jp>
Date: Sat, 29 Nov 2014 22:59:47 +0900
From: OGAWA Hirofumi <hirofumi@...l.parknet.co.jp>
To: Julia Lawall <julia.lawall@...6.fr>
Cc: SF Markus Elfring <elfring@...rs.sourceforge.net>,
linux-kernel@...r.kernel.org, kernel-janitors@...r.kernel.org,
trivial@...nel.org, Coccinelle <cocci@...teme.lip6.fr>
Subject: Re: [PATCH v2] fs-fat: Less function calls in fat_fill_super() after error detection
Julia Lawall <julia.lawall@...6.fr> writes:
>> iput() checks NULL of inode. What is wrong just remove NULL check,
>> instead of adding new jump labels?
>
> Personally, I prefer that code that can be statically determined not to
> need to be executed not to be executed. It can make the code easier to
> understand, because each function is only called when doing so is useful,
> and it can be helpful to static analysis.
Hm, first of all, we want to prevent the bugs. More labels are more
chances of bug (and we don't care micro optimize on this error path),
isn't it? Increasing the chance of bugs and bothers developers for
analyzer sounds like strange.
(And we are initializing those for avoiding to be bothered by choosing
correct label. If we really care micro optimize, initialization of those
should not be required and should not be touched on other paths, and gcc
can warn its usage.)
Thanks.
--
OGAWA Hirofumi <hirofumi@...l.parknet.co.jp>
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists