[Bug default/27700] New: Assertion failure when using --drop-private-types

[Bug default/27700] New: Assertion failure when using --drop-private-types

[szhorvat at gmail dot com]

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

            Bug ID: 27700
           Summary: Assertion failure when using --drop-private-types
           Product: libabigail
           Version: unspecified
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: default
          Assignee: dodji at redhat dot com
          Reporter: szhorvat at gmail dot com
                CC: libabigail at sourceware dot org
  Target Milestone: ---

Created attachment 13351
  --> https://sourceware.org/bugzilla/attachment.cgi?id=13351&action=edit
Offending shared library

I see an assertion failure when using abidw with the --drop-private-types flag:

abidw: ../../src/abg-ir.cc:23638: size_t
abigail::ir::hash_as_canonical_type_or_constant(const abigail::ir::type_base*):
Assertion `__abg_cond__' failed.

This is with the current master branch from the git repo (as of today). With
version 1.8, I see a segmentation fault instead.

I am working on Ubuntu 20.04 x86_64, and using abidw on the igraph library
(version 0.9.1). https://github.com/igraph/igraph/  While I realize that the
following is far from a *minimal* example, here is how to reproduce the
problem:

Compile igraph:

git clone https://github.com/igraph/igraph.git
cd igraph && mkdir build && cd build
cmake .. -DBUILD_SHARED_LIBS=ON -DCMAKE_BUILD_TYPE=Debug
make

Run abidw:

touch foo.h
abidw --hf foo.h --drop-private-types src/libigraph.so > /dev/null

abidw: ../../src/abg-ir.cc:23638: size_t
abigail::ir::hash_as_canonical_type_or_constant(const abigail::ir::type_base*):
Assertion `__abg_cond__' failed.
Aborted (core dumped)

foo.h is a dummy empty header. The --hf or --hd options are necessary to
trigger the problem. Originally, I used --hd to specify the location of the
igraph headers, however, it seems to be sufficient to provide an empty header.
This is what I did in the example above.

I am attaching the offending shared library.

P.S. The igraph build system auto-detects some external dependencies, so the
above method to build igraph produces system-dependent results. However, it
does not seem to matter which external libraries I link to—it crashes all the
same.

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

[Bug default/27700] Assertion failure when using --drop-private-types

[dodji at redhat dot com]

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

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-04-07
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from dodji at redhat dot com ---
I can reproduce this, thanks for reporting this!

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

[Bug default/27700] Assertion failure when using --drop-private-types

[dodji at redhat dot com]

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

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from dodji at redhat dot com ---
A fix for this problem was applied to the master branch at
https://sourceware.org/git/?p=libabigail.git;a=commit;h=a16b922b11665d5405421a50d98f475cbbcbb300.

It should be available in libabigail 2.0.

Thanks!

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