Bug#880147: cvc4: FTBFS on sparc64: bus error => massive test suite failure

[Aaron M. Ucko]

Source: cvc4
Version: 1.5-1
Severity: important
Tags: upstream
Justification: fails to build from source
User: debian-sparc at lists.debian.org

The build of cvc4 for sparc64 (admittedly not a release architecture)
encountered even more test suite failures than other non-x86 builds,
as detailed at

https://buildd.debian.org/status/fetch.php?pkg=cvc4&arch=sparc64&ver=1.5-1&stamp=1509309061&raw=0

Most if not all of these failures stemmed from bus errors, which
generally correspond to unaligned memory access attempts.

Could you please take a look?

Thanks!

FTR, the overall testing summary was

=============================== TESTING SUMMARY =============================
150 TOTAL, 6 PASS, 144 FAIL
    /.../production/test/regress/regress0/test-suite.log
32 TOTAL, 32 FAIL
    /.../production/test/regress/regress0/arith/test-suite.log
14 TOTAL, 14 FAIL
    /.../production/test/regress/regress0/arith/integers/test-suite.log
32 TOTAL, 32 FAIL
    /.../production/test/regress/regress0/arrays/test-suite.log
37 TOTAL, 37 FAIL
    /.../production/test/regress/regress0/aufbv/test-suite.log
11 TOTAL, 11 FAIL
    /.../production/test/regress/regress0/auflia/test-suite.log
86 TOTAL, 86 FAIL
    /.../production/test/regress/regress0/bv/test-suite.log
65 TOTAL, 65 FAIL
    /.../production/test/regress/regress0/bv/core/test-suite.log
62 TOTAL, 1 PASS, 61 FAIL
    /.../production/test/regress/regress0/datatypes/test-suite.log
18 TOTAL, 18 FAIL
    /.../production/test/regress/regress0/decision/test-suite.log
8 TOTAL, 8 FAIL
    /.../production/test/regress/regress0/expect/test-suite.log
56 TOTAL, 56 FAIL
    /.../production/test/regress/regress0/fmf/test-suite.log
4 TOTAL, 4 FAIL
    /.../production/test/regress/regress0/lemmas/test-suite.log
29 TOTAL, 29 FAIL
    /.../production/test/regress/regress0/nl/test-suite.log
4 TOTAL, 4 FAIL
    /.../production/test/regress/regress0/parser/test-suite.log
18 TOTAL, 18 FAIL
    /.../production/test/regress/regress0/precedence/test-suite.log
16 TOTAL, 16 FAIL
    /.../production/test/regress/regress0/preprocess/test-suite.log
24 TOTAL, 24 FAIL
    /.../production/test/regress/regress0/push-pop/test-suite.log
21 TOTAL, 21 FAIL
    /.../production/test/regress/regress0/push-pop/arith/test-suite.log
51 TOTAL, 51 FAIL
    /.../production/test/regress/regress0/push-pop/boolean/test-suite.log
74 TOTAL, 74 FAIL
    /.../production/test/regress/regress0/quantifiers/test-suite.log
93 TOTAL, 93 FAIL
    /.../production/test/regress/regress0/rels/test-suite.log
7 TOTAL, 7 FAIL
    /.../production/test/regress/regress0/rewriterules/test-suite.log
39 TOTAL, 39 FAIL
    /.../production/test/regress/regress0/sep/test-suite.log
68 TOTAL, 68 FAIL
    /.../production/test/regress/regress0/sets/test-suite.log
70 TOTAL, 70 FAIL
    /.../production/test/regress/regress0/strings/test-suite.log
33 TOTAL, 33 FAIL
    /.../production/test/regress/regress0/sygus/test-suite.log
27 TOTAL, 27 FAIL
    /.../production/test/regress/regress0/tptp/test-suite.log
33 TOTAL, 33 FAIL
    /.../production/test/regress/regress0/uf/test-suite.log
20 TOTAL, 20 FAIL
    /.../production/test/regress/regress0/uflia/test-suite.log
20 TOTAL, 20 FAIL
    /.../production/test/regress/regress0/uflra/test-suite.log
47 TOTAL, 47 FAIL
    /.../production/test/regress/regress0/unconstrained/test-suite.log
5 TOTAL, 2 PASS, 3 FAIL
    /.../production/test/system/test-suite.log
4 TOTAL, 4 PASS                in unit
=============================== TESTING SUMMARY =============================

-- 
Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org)
http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?amu@monk.mit.edu