15 Jul
2018
15 Jul
'18
6:02 p.m.
On Fri, Jul 13, 2018 at 9:26 PM, Niels Möller nisse@lysator.liu.se wrote:
nisse@lysator.liu.se (Niels Möller) writes:
Nikos Mavrogiannopoulos nmav@redhat.com writes:
An assert() should be sufficient to inform it of the constraints.
I've added two asserts for the eratosthenes.c warning, we'lll see if that helps (only vector_alloc wasn't enough).
Another analysis run has completed, and it still complains. See https://gnutls.gitlab.io/-/nettle/-/jobs/81674466/artifacts/scan-build-lib/2...
Any other suggestions?
Given that it is only an example maybe use #ifndef __clang_analyzer__ in the whole file?
regards, Nikos