About New ARI warning Sun Mar 10 02:06:07 UTC 2013 in -D 2013-03-10-gmt

Joel Brobecker brobecker@adacore.com
Mon Mar 11 17:58:00 GMT 2013


Hi Pierre,

> Should I:
> 1) modify the comment to also list != and ==

That, or making it more explicit that the list is not exhaustive.

> 2) extend the rule to also check for other binary operators?

I think it would make sense, yes.

Thanks again for taking care of this part of the project...
-- 
Joel



More information about the Gdb-patches mailing list