Hello there,
----------------------------------------
> On Thu, Jan 22, 2015 at 10:20:44AM +0000, David Binderman wrote:
>> I used the static analyser cppcheck to find these two bugs, but
>> you might be able to find similar problems by using gcc compiler
>> flag -Wlogical-op.
>
> I turned it on, but GCC 4.7.2 doesn't find anything for me.
Surprising.
I note that gcc 4.7.2 is dated Sep 2012 and the current release of gcc is
4.9.2, dated Oct 2014.
I am not sure upgrading gcc will help.
> Smatch is similar to GCC in this regard...
cppcheck is available from sourceforge.
Regards
David Binderman
_______________________________________________
devel mailing list
de...@linuxdriverproject.org
http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel
