Re: [Cocci] [PATCH RFC] Coccinelle: Check for return not matching function signature

2015-05-05 Thread Julia Lawall
On Tue, 5 May 2015, Nicholas Mc Guire wrote: > On Tue, 05 May 2015, SF Markus Elfring wrote: > > > > Check if the signature of a function and the return value type match. > > > > Is this a task that is usually performed by a compiler? > > > > > > > In many cases this mismatch will have no

Re: [Cocci] [PATCH RFC] Coccinelle: Check for return not matching function signature

2015-05-05 Thread Julia Lawall
On Tue, 5 May 2015, Nicholas Mc Guire wrote: On Tue, 05 May 2015, SF Markus Elfring wrote: Check if the signature of a function and the return value type match. Is this a task that is usually performed by a compiler? In many cases this mismatch will have no side-effects but in