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

[#21410] antebuffer segfaults on freebsd, sometimes.

Date:
2017-08-07 10:11
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:
antebuffer segfaults on freebsd, sometimes.

Detailed description
This is the cause of the failure of the check_rels test on freebsd.

Lacking the time to investigate, I'm going to disable antebuffer altogether on freebsd. It should not have any impact at all (all tools supposedly fall back to plain "cat" if antebuffer can't be found).

[ci@cado-freebsd-111-amd64 /usr/home/ci/workspace/compile-freebsd-111-amd64]$ /usr/home/ci/workspace/compile-freebsd-111-amd64/build/cado-freebsd-111-amd64/utils/antebuffer.x 24 /usr/home/ci/workspace/compile-freebsd-111-amd64/tests/misc/c60.rels1
-1420536,269:3,49,10f,fad,31f7,4b3b:2,5,7,1f,119,6a1,ae7,4ce1,1878d,18bcb
6653564,339:7,7,11,13,29,4f,1b55,16957:2,3,5,2b,61,9d,167,2881,17087,1878d,336ef
3980191,999:2,2,5,4f,65b,6ad,8bf,44c9:3,b,11,49,b3,2ab,1e17,754d,1878d,4e8ab
4589715,1082:3,3,1f,65,9d,2a1,94f,668b:2,11,17,a3,fb,449,3d43,756b,9b63,1878d
8200246,521:773,2831,cae5,e8ed:2,2,3,3,5,b,65,b3,527,7c3,833,b47,189d,1878d
417490,21:b,89,a49,b57,2b04f:2,2,2,3,43,1cd,287,1878d,1b3a1,667f7
5380245,1213:2,2,3,7,ef,12c1,7d45,10673:b,2b,107,2d43,6ac9,16057,1878d,54b3b
-152142,25:3,47,4369,510d,11c3f:2,2,2,2,2,5,7,b,b,146b,3ffd,d261,1878d
6078756,191:3,3,3,3,175,17f,3095,ca25:2,5,5,7,2c5,b23,b105,1213f,1878d,5e9f9
5034553,47:2,5,5,185,883,2e3f,76b7:3,d,61,c5,e5,2e7,6f7,3143,1878d,21e4d
3982499,602:85d,9eb,13d47,357cb:2,3,3,3,3,3,5,53,3cb,81c7,1878d,1dd59,5dd2d
1061083,20:7,11,13,c7,139,161,63c1:2,2,2,2,3,3,5,d,1f,1eb,1ec7,67cd,69f7,1878d
5693394,29:3,3,1d,1ec1,13d2f,2009f:2,2,2,5,11,29,2b,35,43,14b,1c1,4831,d549,1878d
1957702,13:5,d,25,67,bf,2d61,315d:2,2,3,3,13,29,2b,11b,79d,97f7,1878d,54a03
469366,305:13,3d,10d,199,368b,7beb:2,2,3,5,5,17,35,16f,20b,3fb,ae7,1087,1878d
-689675,197:2,2,13,2f,20c5,2485,23f83:3,3,3,b,d,2b,35,1a3,1b1,4937,509f,1878d
-1606071,88:3,3,3,139,209,c9bf,1a857:2,2,5,29,29,43,49,a67,4465,1878d,7d809
434003,351:2,2,2,2,2,d,d,13,eb7,157f,7825:3,5,7,2b,71,2dd,5b3,2f81,1878d,3cfb3
-2043029,115:2,2,277,617,129b5,1a0fb:3,3,5,d,11,f95,8c8f,b713,1878d,25cf9
-4519163,680:1f,133,1b7,1b7,1241,45a3:2,2,3,3,5,11b,4ff,751,1e95,3d7b,7187,1878d
-9103422,223:3,3,eef,1169,14b7,1a165:2,2,5,7,b,11,61,179f,b65f,b755,1878d,1c9e7
3427999,1825:2,65,65,2f5,229c7,255a1:3,3,3,3,5,7,b,2f81,cce9,15557,1878d,75929
414419,1635:2,2,a99,3941,3ba7,1f73f:3,5,7,7,b,d,11,65,17263,1878d,2d6fb,38993
5088592,1479:1d,28d,122b,696b,1abcf:2,3,5,5,7,4f,89,95,b5,f31,5449,8c8f,1878d
-919071,742:3,1f,b5,119,1b7,6fd,9af3:2,5,13,43,134f,224b,4b49,1878d,22f91
625979,1031:2,2,2,2,2,2,2,2,5,bf,3b9,ce5,3e147:3,185,649f,c5ef,1878d,3dfd5,5019d
5167729,1634:5d1,8423,b963,1d98d:2,3,5,11,17,10f,4cf,11a7,1878d,1ad11,6c7b5
Segmentation fault (core dumped)
Message  ↓
Date: 2017-08-07 10:28
Sender: Emmanuel Thomé

For the record, although not very informative: https://ci.inria.fr/cado-qualif/job/compile-freebsd-111-amd64/39/consoleFull

No Changes Have Been Made to This Item