On 26 October 2015 at 11:06, <[email protected]> wrote:
> *Comment # 3 <https://bugs.linaro.org/show_bug.cgi?id=1867#c3> on bug 1867 > <https://bugs.linaro.org/show_bug.cgi?id=1867> from Bill Fischofer > <[email protected]> * > > We could do that, but the implicit cast is exactly what C does by default. > This is just tweaking the code to accommodate the tool rather than tuning the > tool to learn the code. Would that in fact satisfy Coverity? > > > Is there an easy > way of doing "what if" testing with the tool? > > Yes, just run coverty by hand with the check-odp tools, but you only get a few shots per day due to it being a free licence for open source. I did just try to reset the bug and launch a run to checkif a cast clears it, but I think I hit the limit for today > ------------------------------ > You are receiving this mail because: > > - You are on the CC list for the bug. > > > _______________________________________________ > lng-odp mailing list > [email protected] > https://lists.linaro.org/mailman/listinfo/lng-odp > > -- Mike Holmes Technical Manager - Linaro Networking Group Linaro.org <http://www.linaro.org/> *│ *Open source software for ARM SoCs
_______________________________________________ lng-odp mailing list [email protected] https://lists.linaro.org/mailman/listinfo/lng-odp
