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?
Regards, /Niels