From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sourceware-bugzilla@sourceware.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 48A123858D38; Fri, 14 Oct 2022 19:13:04 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 48A123858D38
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org;
	s=default; t=1665774784;
	bh=ks4X6SPUir6FC3JCys+G65tIoNBNgjpxHaVai9cemBU=;
	h=From:To:Subject:Date:From;
	b=TH4anorEskf5U3o1NDE41sHxbJl7M6OF36aER1O0WMNaXCWevworZnNmKU9XzVOnT
	 3v86wUDPbVofF5j99/XeQVsVd/rs8QWzBIOi8WV/vlO82Hh/MrkA9Eqkd5hYDB/cqh
	 lhoKT7prFO7Qv61Kifq4DFKm9lmb1YTR9jHP3Euw=
From: "woodard at redhat dot com" <sourceware-bugzilla@sourceware.org>
To: libabigail@sourceware.org
Subject: [Bug default/29687] New: coq-core  from F37 asserts when trying to
 do a self compare
Date: Fri, 14 Oct 2022 19:13:04 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: libabigail
X-Bugzilla-Component: default
X-Bugzilla-Version: unspecified
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: woodard at redhat dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: dodji at redhat dot com
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter cc target_milestone
Message-ID: <bug-29687-9487@http.sourceware.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://sourceware.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <libabigail.sourceware.org>

https://sourceware.org/bugzilla/show_bug.cgi?id=3D29687

            Bug ID: 29687
           Summary: coq-core  from F37 asserts when trying to do a self
                    compare
           Product: libabigail
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: default
          Assignee: dodji at redhat dot com
          Reporter: woodard at redhat dot com
                CC: libabigail at sourceware dot org
  Target Milestone: ---

Really not much to go on:

fedabipkgdiff --self-compare -a --from fc37 coq-core
Comparing the ABI of binaries between coq-core-8.16.0-2.fc37.aarch64.rpm and
coq-core-8.16.0-2.fc37.aarch64.rpm:

abipkgdiff: ../../../libabigail/src/abg-corpus.cc:649: void
abigail::ir::corpus::add(abigail::ir::translation_unit_sptr): Assertion
`__abg_cond__' failed.

Comparing the ABI of binaries between coq-core-8.16.0-2.fc37.ppc64le.rpm and
coq-core-8.16.0-2.fc37.ppc64le.rpm:

abipkgdiff: ../../../libabigail/src/abg-corpus.cc:649: void
abigail::ir::corpus::add(abigail::ir::translation_unit_sptr): Assertion
`__abg_cond__' failed.

Comparing the ABI of binaries between coq-core-8.16.0-2.fc37.s390x.rpm and
coq-core-8.16.0-2.fc37.s390x.rpm:

abipkgdiff: ../../../libabigail/src/abg-reader.cc:3400:
abigail::ir::string_elf_symbols_map_sptr
abigail::xml_reader::build_elf_symbol_db(read_context&, xmlNodePtr, bool):
Assertion `__abg_cond__' failed.

Comparing the ABI of binaries between coq-core-8.16.0-2.fc37.x86_64.rpm and
coq-core-8.16.0-2.fc37.x86_64.rpm:

abipkgdiff: ../../../libabigail/src/abg-corpus.cc:649: void
abigail::ir::corpus::add(abigail::ir::translation_unit_sptr): Assertion
`__abg_cond__' failed.

--=20
You are receiving this mail because:
You are on the CC list for the bug.=