Bug 1252074

Summary:	ocaml-biniou test_biniou fails on ppc64/ppc64le
Product:	[Fedora] Fedora	Reporter:	Rafael Fonseca <rdossant>
Component:	ocaml-biniou	Assignee:	Richard W.M. Jones <rjones>
Status:	CLOSED EOL	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	22	CC:	hannsj_uhl, michel, rjones
Target Milestone:	---
Target Release:	---
Hardware:	ppc64
OS:	Linux
Whiteboard:
Fixed In Version:		Doc Type:	Bug Fix
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2016-07-19 17:27:36 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:
Bug Depends On:	1255135
Bug Blocks:	1071880, 1051573

Description Rafael Fonseca 2015-08-10 16:13:54 UTC

Description of problem: test_biniou fails on ppc64 and ppc64le.


Version-Release number of selected component (if applicable): 1.0.9


How reproducible: run 'make test' on a ppc64 or ppc64le guest.


Actual results: test fails with

Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.StWRl9
+ umask 022
+ cd /builddir/build/BUILD
+ cd biniou-1.0.9
+ make test
ocamlfind ocamlopt -g -o test_biniou -dtypes -g \
	-package "easy-format unix" -linkpkg \
	biniou.cmxa test_biniou.ml
./test_biniou
Fatal error: exception File "bi_io.ml", line 264, characters 4-10: Assertion failed
Makefile:24: recipe for target 'test' failed
make: *** [test] Error 2


Additional info: issue reported upstream https://github.com/mjambon/biniou/issues/13

Comment 1 Rafael Fonseca 2015-08-18 22:31:04 UTC

It looks like the problem is actually in the ocaml compiler for PPC. The bug was reported upstream [1].

[1] http://caml.inria.fr/mantis/view.php?id=6963

Comment 2 Richard W.M. Jones 2015-08-20 13:58:19 UTC

The resolution for this is going to involve switching Fedora over
to use the new (nearly-)upstream combined ppc code generator
(https://github.com/ocaml/ocaml/pull/225).  That's something for
next week however.

Comment 3 Fedora End Of Life 2016-07-19 17:27:36 UTC

Fedora 22 changed to end-of-life (EOL) status on 2016-07-19. Fedora 22 is
no longer maintained, which means that it will not receive any further
security or bug fix updates. As a result we are closing this bug.

If you can reproduce this bug against a currently maintained version of
Fedora please feel free to reopen this bug against that version. If you
are unable to reopen this bug, please file a new report against the
current release. If you experience problems, please add a comment to this
bug.

Thank you for reporting this bug and we are sorry it could not be fixed.