Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1330214 > unrolled thread

Re: coccinelle: add style check for assignment in if

Started bySF Markus Elfring <elfring@users.sourceforge.net>
First post2016-02-09 14:00 +0100
Last post2016-02-10 16:10 +0100
Articles 4 — 3 participants

Back to article view | Back to linux.kernel

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.


Contents

  Re: coccinelle: add style check for assignment in if SF Markus Elfring <elfring@users.sourceforge.net> - 2016-02-09 14:00 +0100
    Re: coccinelle: add style check for assignment in if Joe Perches <joe@perches.com> - 2016-02-10 01:00 +0100
      Re: coccinelle: add style check for assignment in if SF Markus Elfring <elfring@users.sourceforge.net> - 2016-02-10 10:10 +0100
        Re: coccinelle: add style check for assignment in if Kris Borer <kborer@gmail.com> - 2016-02-10 16:10 +0100

#1330214 — Re: coccinelle: add style check for assignment in if

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-02-09 14:00 +0100
SubjectRe: coccinelle: add style check for assignment in if
Message-ID<r0g3E-48r-11@gated-at.bofh.it>
>> Would you like to consider also the reuse of SmPL variables
>> like "org" and "report"?
> 
> I think that there is no point for these things, because checkpatch
> already gives warnings about this issue.

Can the check result display be more convenient from the semantic
patch script interface in comparison to the other tool?

Regards,
Markus

[toc] | [next] | [standalone]


#1330779

FromJoe Perches <joe@perches.com>
Date2016-02-10 01:00 +0100
Message-ID<r0qmm-2FL-5@gated-at.bofh.it>
In reply to#1330214
On Tue, 2016-02-09 at 13:55 +0100, SF Markus Elfring wrote:
> > > Would you like to consider also the reuse of SmPL variables
> > > like "org" and "report"?
> > 
> > I think that there is no point for these things, because checkpatch
> > already gives warnings about this issue.
> 
> Can the check result display be more convenient from the semantic
> patch script interface in comparison to the other tool?

-ENOPARSE.  More detail please.

[toc] | [prev] | [next] | [standalone]


#1330955

FromSF Markus Elfring <elfring@users.sourceforge.net>
Date2016-02-10 10:10 +0100
Message-ID<r0yWB-dc-3@gated-at.bofh.it>
In reply to#1330779
>> Can the check result display be more convenient from the semantic
>> patch script interface in comparison to the other tool?
> 
> -ENOPARSE.  More detail please.

Kris Borer suggested a SmPL script which can generate (only) patches
so far by the usual application of the Coccinelle software.
I assume that this approach was limited just because Julia Lawall
indicated that this functionality would be sufficient for a while.

The documentation for the command "make coccicheck" mentions
additional modes.
https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/Documentation/coccinelle.txt?id=ec97946ed038f4b3faa587bc76152b198805b0c4#n170

They refer to specific output formats for the result from the
static source code analysis.

* How often would you like to look at proposed changes by the
  Org mode format (of Emacs)?
  http://orgmode.org/

* Do you find the report mode also useful occasionally?


Are you interested to get further output variants?

Examples:
* CSV
* XML

Regards,
Markus

[toc] | [prev] | [next] | [standalone]


#1331253

FromKris Borer <kborer@gmail.com>
Date2016-02-10 16:10 +0100
Message-ID<r0Ez0-3Nr-17@gated-at.bofh.it>
In reply to#1330955
On Wed, Feb 10, 2016 at 4:00 AM, SF Markus Elfring
<elfring@users.sourceforge.net> wrote:
> Kris Borer suggested a SmPL script which can generate (only) patches
> so far by the usual application of the Coccinelle software.
> I assume that this approach was limited just because Julia Lawall
> indicated that this functionality would be sufficient for a while.
>
> * Do you find the report mode also useful occasionally?
>
> Are you interested to get further output variants?
>
> Examples:
> * CSV
> * XML

I would happy to add additional modes or features, but I would prefer
to do those in a separate patch if possible.

[toc] | [prev] | [standalone]


Back to top | Article view | linux.kernel


csiph-web