[Bug default/29687] New: coq-core from F37 asserts when trying to do a self compare

[Bug default/29687] New: coq-core from F37 asserts when trying to do a self compare

[woodard at redhat dot com]

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

            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.

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

[Bug default/29687] coq-core from F37 asserts when trying to do a self compare

[woodard at redhat dot com]

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

Ben Woodard <woodard at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |29412


Referenced Bugs:

https://sourceware.org/bugzilla/show_bug.cgi?id=29412
[Bug 29412] libabigail 2.1.1 Assertion metabug
-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug default/29687] coq-core from F37 asserts when trying to do a self compare

[woodard at redhat dot com]

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

--- Comment #1 from Ben Woodard <woodard at redhat dot com> ---
This continues to happen with 2.2 as of the latest trunk as of 1f51b9e8

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

[Bug default/29687] coq-core from F37 asserts when trying to do a self compare

[woodard at redhat dot com]

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

--- Comment #2 from Ben Woodard <woodard at redhat dot com> ---
continues to reproduce with the current trunk as of:

commit a8a4ca8862959e9fede1b4878469681b8fadeb74 (HEAD -> master, origin/master,
origin/HEAD)
Author: Dodji Seketeli <dodji@redhat.com>
Date:   Wed Mar 22 15:42:43 2023 +0100

    abipkgdiff: Fix a typo

            * tools/abipkgdiff.cc (compare_to_self): Fix a typo.

    Signed-off-by: Dodji Seketeli <dodji@redhat.com>

though the numbers are slightly different now:

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

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

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

[Bug default/29687] coq-core from F37 asserts when trying to do a self compare, probably due to lack of ocaml support

[dodji at redhat dot com]

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

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|coq-core  from F37 asserts  |coq-core  from F37 asserts
                   |when trying to do a self    |when trying to do a self
                   |compare                     |compare, probably due to
                   |                            |lack of ocaml support
         Depends on|                            |29610

--- Comment #3 from dodji at redhat dot com ---
I think this one is due to the fact that we don't yet support some particular
features of ocaml.


Referenced Bugs:

https://sourceware.org/bugzilla/show_bug.cgi?id=29610
[Bug 29610] support reading an ocaml abixml symbol table table where a function
symbol aliases a variable symbol
-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug default/29687] coq-core from F37 asserts when trying to do a self compare, probably due to lack of ocaml support

[dodji at redhat dot com]

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

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Depends on|29610                       |
             Blocks|                            |29610


Referenced Bugs:

https://sourceware.org/bugzilla/show_bug.cgi?id=29610
[Bug 29610] support reading an ocaml abixml symbol table table where a function
symbol aliases a variable symbol
-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug default/29687] coq-core from F37 asserts when trying to do a self compare, probably due to lack of ocaml support

[dodji at redhat dot com]

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

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|29412                       |


Referenced Bugs:

https://sourceware.org/bugzilla/show_bug.cgi?id=29412
[Bug 29412] libabigail 2.2 Assertion metabug
-- 
You are receiving this mail because:
You are on the CC list for the bug.