https://bugs.linaro.org/show_bug.cgi?id=1867
--- Comment #4 from Mike Holmes <[email protected]> ---
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
>
>
--
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
