[Bug default/29693] New: clang-libs from f37 fails self test with 2.1

["woodard at redhat dot com" <sourceware-bugzilla@sourceware.org>]

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

            Bug ID: 29693
           Summary: clang-libs from f37 fails self test with 2.1
           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: ---

This is an interesting one because it is both an assert and a bad comparison.
It also doesn't seem to fall in with any of the other bad comparisons or
asserts.

The impacted library is libclang-cpp.so.15 so this is a library issue.


$ fedabipkgdiff --self-compare -a --from fc37 clang-libs
Comparing the ABI of binaries between clang-libs-15.0.0-2.fc37.aarch64.rpm and
clang-libs-15.0.0-2.fc37.aarch64.rpm:

======== comparing'libclang-cpp.so.15' to itself wrongly yielded result:
===========
  Functions changes summary: 0 Removed, 1 Changed (1 filtered out), 0 Added
functions
  Variables changes summary: 0 Removed, 0 Changed, 0 Added variable

  1 function with some indirect sub-type change:

    [C] 'method virtual clang::dataflow::Solver::Result
clang::dataflow::WatchedLiteralsSolver::solve(llvm::DenseSet<clang::dataflow::BoolValue
*, llvm::DenseMapInfo<clang::dataflow::BoolValue *, void> >)' at
WatchedLiteralsSolver.h:31:1 has some indirect sub-type changes:
      return type changed:
        type size hasn't changed
        2 data member deletions:
          'clang::dataflow::Solver::Result::Status SATCheckStatus', at offset 0
(in bits) at Solver.h:78:1
          'llvm::Optional<llvm::DenseMap<clang::dataflow::AtomicBoolValue *,
clang::dataflow::Solver::Result::Assignment,
llvm::DenseMapInfo<clang::dataflow::AtomicBoolValue *, void>,
llvm::detail::DenseMapPair<clang::dataflow::AtomicBoolValue *,
clang::dataflow::Solver::Result::Assignment> > > Solution', at offset 64 (in
bits) at Solver.h:79:1

===SELF CHECK FAILED for 'libclang-cpp.so.15'
==== SELF CHECK SUCCEEDED for 'libclang.so.15.0.0' ====

Comparing the ABI of binaries between clang-devel-15.0.0-2.fc37.aarch64.rpm and
clang-devel-15.0.0-2.fc37.aarch64.rpm:

==== SELF CHECK SUCCEEDED for 'clang-tblgen' ====

Comparing the ABI of binaries between clang-libs-15.0.0-2.fc37.i686.rpm and
clang-libs-15.0.0-2.fc37.i686.rpm:

==== SELF CHECK SUCCEEDED for 'libclang-cpp.so.15' ====
==== SELF CHECK SUCCEEDED for 'libclang.so.15.0.0' ====

Comparing the ABI of binaries between clang-devel-15.0.0-2.fc37.i686.rpm and
clang-devel-15.0.0-2.fc37.i686.rpm:

==== SELF CHECK SUCCEEDED for 'clang-tblgen' ====

Comparing the ABI of binaries between clang-libs-15.0.0-2.fc37.ppc64le.rpm and
clang-libs-15.0.0-2.fc37.ppc64le.rpm:

==== SELF CHECK SUCCEEDED for 'libclang-cpp.so.15' ====
==== SELF CHECK SUCCEEDED for 'libclang.so.15.0.0' ====

Comparing the ABI of binaries between clang-devel-15.0.0-2.fc37.ppc64le.rpm and
clang-devel-15.0.0-2.fc37.ppc64le.rpm:

==== SELF CHECK SUCCEEDED for 'clang-tblgen' ====

Comparing the ABI of binaries between clang-libs-15.0.0-2.fc37.s390x.rpm and
clang-libs-15.0.0-2.fc37.s390x.rpm:

==== SELF CHECK SUCCEEDED for 'libclang-cpp.so.15' ====
==== SELF CHECK SUCCEEDED for 'libclang.so.15.0.0' ====

Comparing the ABI of binaries between clang-devel-15.0.0-2.fc37.s390x.rpm and
clang-devel-15.0.0-2.fc37.s390x.rpm:

==== SELF CHECK SUCCEEDED for 'clang-tblgen' ====

Comparing the ABI of binaries between clang-devel-15.0.0-2.fc37.x86_64.rpm and
clang-devel-15.0.0-2.fc37.x86_64.rpm:

==== SELF CHECK SUCCEEDED for 'clang-tblgen' ====

Comparing the ABI of binaries between clang-libs-15.0.0-2.fc37.x86_64.rpm and
clang-libs-15.0.0-2.fc37.x86_64.rpm:

abipkgdiff: ../../../libabigail/src/abg-default-reporter.cc:375: virtual void
abigail::comparison::default_reporter::report(const
abigail::comparison::qualified_type_diff&, std::ostream&, const std::string&)
const: Assertion `__abg_cond__' failed.

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