[Bug default/28320] abidw - (non-deterministic) infinite loop in XML writer

["gprocida at google dot com" <sourceware-bugzilla@sourceware.org>]

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

--- Comment #6 from gprocida at google dot com ---
I've debugged the issue I see with the test suite (with the debugging patches I
posted active).

The triggering command is:

build/tools/abipkgdiff --verbose --self-check --d1
tests/data/test-diff-pkg/nmap-debuginfo-7.70-5.el8_testjcc.x86_64.rpm --d2
tests/data/test-diff-pkg/nmap-debuginfo-7.70-5.el8_testjcc.x86_64.rpm
tests/data/test-diff-pkg/nmap-7.70-5.el8_testjcc.x86_64.rpm
tests/data/test-diff-pkg/nmap-7.70-5.el8_testjcc.x86_64.rpm

It triggers on "struct lua_State". The type already in the map (already
emitted) is declaration only with no named_definition_of_declaration while the
other is a canonical type (get_naked_canonical_type gives the same pointer).

Tracing through what the deep_ptr_eq_functor does:

The first type is a class_decl, as is the second, and end we up in
equals(class_decl, class_decl). One of them is declaration only, so this
function delegates to equals(class_or_union, class_or_union). One of the types
is declaration only, neither are anonymous and ODR is relevant, so equality
checks the scoped names.

The scoped names are identical and equality evaluates to true.

On the other hand, the hash values are completely different.

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