Home My Page Projects cado-nfs
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

[#21404] apple clang 6.0.0 (osx 10.9) reports off-bounds in trialdiv.c

Date:
2017-08-02 19:07
Priority:
3
State:
Open
Submitted by:
Emmanuel Thomé (thome)
Assigned to:
Nobody (None)
Hardware:
none
Product:
none
Operating System:
none
Component:
none
Version:
none
Severity:
none
Resolution:
none
URL:
Summary:
apple clang 6.0.0 (osx 10.9) reports off-bounds in trialdiv.c

Detailed description
See there.

https://ci.inria.fr/cado/job/compile-osx-109-amd64/1/console

I'm pretty confident it's a false positive.

It's reported on the 2.2 branch. Seems that -Werror is activated there.

E.
Message  ↓
Date: 2017-08-04 07:17
Sender: Emmanuel Thomé

The master branch protects the definition of these functions with e.g.:
#if TRIALDIV_MAXLEN >= 5

Anyway if a compiler is crazy enough to be confused about the value of TRIALDIV_MAXLEN, which is a compile-time constant, it's bound to be severly buggy.

Date: 2017-08-03 08:35
Sender: Paul Zimmermann

I added an assert that does not fail with "make check", thus it indeed seems a false positive.

No Changes Have Been Made to This Item