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

Groups > linux.kernel > #1475947

Re: Possible code defects: macros and precedence

Show all headers | View raw

On Sun, 2016-09-04 at 18:10 +0800, Julia Lawall wrote:
> On Sat, 3 Sep 2016, Joe Perches wrote:
> > There are many nominally incorrect macro definitions
> > in linux-kernel source where parentheses are not used
> > for various macros arguments with calculations.
> >
> > Does coccinelle or smatch have the ability to detect
> > potential macro misuse where arguments passed to the
> > macro are not correctly parenthesized by the macro?
> >
> > Something like:
> >
> >       #define A 1
> >       #define B 2
> >       #define shift(val) (val << 1)
> >
> > where a use is:
> >
> >       int c = shift(A | B)
> >
> > where the actual result is 5 but the expected result is 6?
> >
> > Can either tool suggest changing the macro to
> >
> >       #define shift(val) ((val) << 1)
> 
> Coccinelle could do this.  It is possible to match macro parameters, and
> it is possible to match binary operators generically.  I can look into it.

Thanks Julia.

It is not just binary operators though, it is all
operations including dereference where precedence
and associativity operations on the macro argument
might cause an unexpected result.

The possible regex checkpatch rule I sent for this
https://lkml.org/lkml/2016/9/3/271
is _way_ too noisy and stupid.

The $Operator test there includes a comma which
makes the possible macro argument precedence test
output silly.  More work is necessary to make the
checkpatch test more reasonable.

Back to linux.kernel | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Possible code defects: macros and precedence Joe Perches <joe@perches.com> - 2016-09-03 20:40 +0200
  Re: Possible code defects: macros and precedence Dan Carpenter <dan.carpenter@oracle.com> - 2016-09-03 22:20 +0200
    [PATCH] checkpatch: Add a --strict test for macro argument reuse and precedence Joe Perches <joe@perches.com> - 2016-09-04 00:30 +0200
      Re: [PATCH] checkpatch: Add a --strict test for macro argument  reuse and precedence Joe Perches <joe@perches.com> - 2016-09-04 16:50 +0200
  Re: Possible code defects: macros and precedence Julia Lawall <julia.lawall@lip6.fr> - 2016-09-04 12:20 +0200
    Re: Possible code defects: macros and precedence Joe Perches <joe@perches.com> - 2016-09-04 17:10 +0200

csiph-web