From: Leon Romanovsky <leon@kernel.org>
To: Knut Omang <knut.omang@oracle.com>
Cc: linux-kernel@vger.kernel.org, "Jason Gunthorpe" <jgg@ziepe.ca>,
linux-rdma@vger.kernel.org, "Doug Ledford" <dledford@redhat.com>,
"Håkon Bugge" <haakon.bugge@oracle.com>,
"Åsmund Østvold" <asmund.ostvold@oracle.com>
Subject: Re: [PATCH v2 5/5] RDMA/core: Add runchecks.cfg for drivers/infiniband/core
Date: Mon, 18 Dec 2017 16:04:28 +0200 [thread overview]
Message-ID: <20171218140428.GC18894@mtr-leonro.local> (raw)
In-Reply-To: <1513600586.22938.29.camel@oracle.com>
[-- Attachment #1: Type: text/plain, Size: 6363 bytes --]
On Mon, Dec 18, 2017 at 01:36:26PM +0100, Knut Omang wrote:
> On Mon, 2017-12-18 at 10:02 +0200, Leon Romanovsky wrote:
> > On Sat, Dec 16, 2017 at 03:42:30PM +0100, Knut Omang wrote:
> > > Add a runchecks.cfg to drivers/infiniband/core
> > > to start "reining in" future checker errors,
> > > and making it easier to selectively clean up existing
> > > issues.
> > >
> > > This runchecks.cfg lets make C=2 M=drivers/infiniband/core
> > > pass with all errors/warnings suppressed
> > >
> > > See Documentation/dev-tools/runchecks.rst for
> > > motivation and details.
> > >
> > > Signed-off-by: Knut Omang <knut.omang@oracle.com>
> > > Reviewed-by: Håkon Bugge <haakon.bugge@oracle.com>
> > > Reviewed-by: Åsmund Østvold <asmund.ostvold@oracle.com>
> > > ---
> > > drivers/infiniband/core/runchecks.cfg | 83 ++++++++++++++++++++++++++++-
> > > 1 file changed, 83 insertions(+)
> > > create mode 100644 drivers/infiniband/core/runchecks.cfg
> > >
> > > diff --git a/drivers/infiniband/core/runchecks.cfg b/drivers/infiniband/core/runchecks.cfg
> > > new file mode 100644
> > > index 0000000..75ca57c
> > > --- /dev/null
> > > +++ b/drivers/infiniband/core/runchecks.cfg
> > > @@ -0,0 +1,83 @@
> > > +#
> > > +# checker suppression lists for drivers/infiniband/core
> > > +#
> > > +# see Documentation/dev-tools/runchecks.rst
> > > +#
> > > +
> > > +checker checkpatch
> > > +##################
> > > +
> > > +# Accept somewhat longer lines:
> > > +line_len 110
> > > +
> > > +# Uncategorized:
> > > +#
> > > +except TRAILING_STATEMENTS packer.c
> > > +except NON_OCTAL_PERMISSIONS rw.c
> > > +except STATIC_CONST_CHAR_ARRAY sysfs.c
> > > +except SYMBOLIC_PERMS sysfs.c
> > > +except NEEDLESS_IF sysfs.c
> > > +except NAKED_SSCANF device.c
> > > +except ALLOC_WITH_MULTIPLY fmr_pool.c iwpm_util.c cma.c
> > > +except MULTIPLE_ASSIGNMENTS rw.c verbs.c
> > > +except ALLOC_SIZEOF_STRUCT sysfs.c iwpm_util.c iwpm_msg.c cma.c cm.c iwcm.c
> > > +except LOGICAL_CONTINUATIONS mad.c iwpm_util.c user_mad.c
> > > +
> > > +# Important to fix/go through from a quality perspective:
> > > +#
> > > +except AVOID_BUG rw.c mad.c cm.c iwcm.c cma.c
> > > +except UNCOMMENTED_DEFINITION ucma.c fmr_pool.c multicast.c mad_rmpp.c
> > > +except UNCOMMENTED_DEFINITION ucm.c umem.c cma.c user_mad.c cm.c
> > > +except ASSIGN_IN_IF mad.c cma.c uverbs_ioctl_merge.c
> > > +except SUSPECT_CODE_INDENT iwpm_util.c cma.c uverbs_ioctl.c user_mad.c uverbs_cmd.c
> > > +except COMPLEX_MACRO uverbs_ioctl_merge.c
> > > +except BOOL_COMPARISON roce_gid_mgmt.c
> > > +
> > > +# Code simplification:
> > > +#
> > > +except UNNECESSARY_ELSE cache.c mad.c mad_rmpp.c
> > > +except UNNECESSARY_PARENTHESES cma.c sa_query.c mad.c ucma.c mad_rmpp.c umem.c
> > > +except UNNECESSARY_PARENTHESES user_mad.c uverbs_cmd.c uverbs_marshall.c cm.c
> > > +except EMBEDDED_FUNCTION_NAME mad.c umem.c cma.c ucma.c user_mad.c
> > > +except RETURN_VOID sysfs.c sa_query.c mad.c cma.c ucm.c uverbs_main.c umem.c
> > > +except CONSTANT_COMPARISON smi.c
> > > +except OOM_MESSAGE iwpm_util.c
> > > +
> > > +# Style and readability:
> > > +#
> > > +except OPEN_BRACE cache.c mad.c umem_odp.c umem_rbtree.c cm.c
> > > +except MULTILINE_DEREFERENCE mad.c cm.c cma.c uverbs_main.c
> > > +except LONG_LINE cma.c
> > > +except PARENTHESIS_ALIGNMENT umem.c cm.c
> > > +except FUNCTION_ARGUMENTS verbs.c uverbs_cmd.c sa_query.c sysfs.c
> > > +
> > > +# Candidates to leave as exceptions (don't fix):
> > > +except SPACING umem_rbtree.c
> > > +except MACRO_ARG_REUSE ud_header.c sa_query.c uverbs_ioctl_merge.c
> > > +
> > > +# These are in most of the source files, ignore for all files:
> > > +#
> > > +pervasive BLOCK_COMMENT_STYLE ENOSYS BRACES OPEN_ENDED_LINE
> > > +
> > > +# These are easily autocorrected by checkpatch with --fix-inplace:
> > > +#
> > > +pervasive SIZEOF_PARENTHESIS SPACING LINE_SPACING SPACE_BEFORE_TAB TABSTOP
> > > +pervasive TRAILING_WHITESPACE POINTER_LOCATION INITIALISED_STATIC
> > > +pervasive CODE_INDENT ELSE_AFTER_BRACE SYMBOLIC_PERMS LEADING_SPACE
> > > +pervasive PARENTHESIS_ALIGNMENT COMPARISON_TO_NULL TYPO_SPELLING
> > > +
> > > +checker sparse
> > > +##############
> > > +
> > > +except SHADOW sysfs.c fmr_pool.c user_mad.c uverbs_main.c ucm.c ucma.c
> > > +except RETURN_VOID roce_gid_mgmt.c
> > > +except TYPESIGN ucm.c ucma.c
> > > +
> > > +# From linux/device.h:
> > > +except RETURN_VOID ucm.c
> > > +
> > > +checker checkdoc
> > > +################
> > > +
> > > +except PARAM_DESC verbs.c device.c fmr_pool.c cache.c sa_query.c
> > > +except X_PARAM verbs.c fmr_pool.c cache.c
> >
> > I missed most of the patches from this series and previous version too,
> > but in regards to IB. I don't want to see static checkers exceptions for
> > core code. It does make a lot of sense for drivers which can be unmaintained.
>
> And I couldn't agree more. But some aid in assessing the scope of the task
> and tracking progress/prevent regressions would be good, wouldn't it?
In current form, it doesn't fully prevent regressions, for example the
line "except TYPESIGN ucm.c ucma.c" means that new code with such errors
to the files ucm.c/ucma.c will be missed too.
>
> This file + enabling a build bot to run make C=2 allows you to prevent
> any checker error types from appearing anywhere in core apart from for
> the exception files and starting from this point of.
We are talking about the same and our goal is the same too - to see it is merged.
I'm just saying that for the IB part, cleanup of IB/core is needed prior
to merging IB related runcheck.cfg file, so it will include drivers only.
>
> > Also, I agree with other reviewers, there is no excuse for adding
> > checkpatch specifics per-subsystem/folder, the differences are better
> > to be treated in checkpatch.pl itself.
>
> Hopefully my intention should be clearer if you look at the documentation:
>
> https://lkml.org/lkml/2017/12/16/135
>
> The best is if no exceptions are needed, but until then let's at least get
> automatic testing so that you and other reviewers can focus on the more important
> issues?
Hiding simply mean that such errors will never be fixed
Thanks
>
> Thanks,
> Knut
>
> >
> > Thanks
> >
> > > --
> > > git-series 0.9.1
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
next prev parent reply other threads:[~2017-12-18 14:04 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-12-16 14:42 [PATCH v2 0/5] Support for generalized use of make C={1,2} via a wrapper program Knut Omang
2017-12-16 14:42 ` [PATCH v2 1/5] runchecks: Generalize make C={1,2} to support multiple checkers Knut Omang
2017-12-16 14:42 ` [PATCH v2 2/5] Documentation: Add doc for runchecks, a checker runner Knut Omang
2017-12-16 15:08 ` Julia Lawall
2017-12-16 15:52 ` Knut Omang
2017-12-16 14:42 ` [PATCH v2 3/5] checkpatch: Improve --fix-inplace for TABSTOP Knut Omang
2017-12-16 15:13 ` Joe Perches
2017-12-16 15:55 ` Knut Omang
2017-12-16 14:42 ` [PATCH v2 4/5] rds: Add runchecks.cfg for net/rds Knut Omang
2017-12-16 17:45 ` Stephen Hemminger
2017-12-16 18:24 ` Joe Perches
2017-12-16 20:00 ` santosh.shilimkar
2017-12-17 2:02 ` Knut Omang
2017-12-18 19:28 ` Santosh Shilimkar
2017-12-17 1:57 ` Knut Omang
2017-12-17 1:46 ` Knut Omang
2017-12-16 14:42 ` [PATCH v2 5/5] RDMA/core: Add runchecks.cfg for drivers/infiniband/core Knut Omang
2017-12-18 8:02 ` Leon Romanovsky
2017-12-18 12:36 ` Knut Omang
2017-12-18 14:04 ` Leon Romanovsky [this message]
2017-12-18 15:23 ` Knut Omang
2017-12-18 19:03 ` Joe Perches
2017-12-18 19:18 ` Leon Romanovsky
2017-12-16 15:21 ` [PATCH v2 0/5] Support for generalized use of make C={1,2} via a wrapper program Joe Perches
2017-12-16 16:27 ` Knut Omang
2017-12-16 17:00 ` Joe Perches
2017-12-16 17:11 ` Knut Omang
2017-12-16 17:47 ` Stephen Hemminger
2017-12-16 18:02 ` Joe Perches
2017-12-17 2:14 ` Knut Omang
2017-12-18 5:00 ` Jason Gunthorpe
2017-12-18 6:00 ` Joe Perches
2017-12-18 13:05 ` Knut Omang
2017-12-18 15:30 ` Joe Perches
2017-12-18 16:41 ` Knut Omang
2017-12-18 17:49 ` Jason Gunthorpe
2017-12-18 17:46 ` Jason Gunthorpe
2017-12-18 17:53 ` Joe Perches
2017-12-18 17:56 ` Bart Van Assche
2017-12-18 18:39 ` Knut Omang
2017-12-18 19:24 ` Leon Romanovsky
2017-12-18 13:41 ` Knut Omang
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20171218140428.GC18894@mtr-leonro.local \
--to=leon@kernel.org \
--cc=asmund.ostvold@oracle.com \
--cc=dledford@redhat.com \
--cc=haakon.bugge@oracle.com \
--cc=jgg@ziepe.ca \
--cc=knut.omang@oracle.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-rdma@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox