Re: [Cocci] Finding missing return value checks for some function calls with SmPL

2016-12-02 Thread SF Markus Elfring
>> But can it be that this assignment is checked a bit too late? > > Yes, Thanks that you can agree to such a view. > but no one will care. I am curious if further software development opinions will appear around similar situations. > The code is more concise as is. I have got an other

Re: [Cocci] Finding missing return value checks for some function calls with SmPL

2016-12-02 Thread Julia Lawall
On Fri, 2 Dec 2016, SF Markus Elfring wrote: > > Now I wonder why the first assignment is not marked together with the > > function call > > for further considerations by my source code analysis approach so far. > > I should have adjusted one of the used regular expressions a bit more like >

Re: [Cocci] Finding missing return value checks for some function calls with SmPL

2016-12-02 Thread SF Markus Elfring
> Now I wonder why the first assignment is not marked together with the > function call > for further considerations by my source code analysis approach so far. I should have adjusted one of the used regular expressions a bit more like the following. @find_too_late_checking@ expression ex1,