[Bug default/19101] New: ABI identity problem with type synonym?

[Bug default/19101] New: ABI identity problem with type synonym?

[woodard at redhat dot com]

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

            Bug ID: 19101
           Summary: ABI identity problem with type synonym?
           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: ---

Created attachment 8697
  --> https://sourceware.org/bugzilla/attachment.cgi?id=8697&action=edit
ELF object that reproduces the above problem

I haven't looked at the source code to see if it is in fact a type synonym but
that is my guess for why 
  Dyninst::StackTamperVisitor::ASTPtr 
turned into 
  Dyninst::DataflowAPI::BooleanVisitor::ASTPtr


hype260@ben:~/bin/abidw --abidiff
/collab/usr/global/tools/order/spack/opt/chaos_5_x86_64_ib/gcc@4.4.7/dyninst@8.1.2-b040c20e/lib/libparseAPI.so.8.1.2 
Functions changes summary: 0 Removed, 9 Changed, 0 Added functions
Variables changes summary: 0 Removed, 0 Changed, 0 Added variable

9 functions with some indirect sub-type change:

  [C]'method virtual Dyninst::StackTamperVisitor::ASTPtr
Dyninst::ASTVisitor::visit(Dyninst::DataflowAPI::BottomAST*)' has some indirect
sub-type changes:
    return type changed:
      typedef name changed from Dyninst::StackTamperVisitor::ASTPtr to
Dyninst::DataflowAPI::BooleanVisitor::ASTPtr


  [C]'method virtual Dyninst::StackTamperVisitor::ASTPtr
Dyninst::ASTVisitor::visit(Dyninst::SemanticsAST*)' has some indirect sub-type
changes:
    return type changed:
      typedef name changed from Dyninst::StackTamperVisitor::ASTPtr to
Dyninst::DataflowAPI::BooleanVisitor::ASTPtr


  [C]'method virtual Dyninst::ASTVisitor::ASTPtr
Dyninst::ASTVisitor::visit(Dyninst::AST*)' has some indirect sub-type changes:
    return type changed:
      typedef name changed from Dyninst::ASTVisitor::ASTPtr to
Dyninst::DataflowAPI::BooleanVisitor::ASTPtr


  [C]'method virtual Dyninst::StackTamperVisitor::ASTPtr
Dyninst::ASTVisitor::visit(Dyninst::StackAST*)' has some indirect sub-type
changes:
    return type changed:
      typedef name changed from Dyninst::StackTamperVisitor::ASTPtr to
Dyninst::DataflowAPI::BooleanVisitor::ASTPtr


  [C]'method virtual Dyninst::StackTamperVisitor::ASTPtr
Dyninst::ASTVisitor::visit(Dyninst::YicesAST*)' has some indirect sub-type
changes:
    return type changed:
      typedef name changed from Dyninst::StackTamperVisitor::ASTPtr to
Dyninst::ASTVisitor::ASTPtr


  [C]'method virtual Dyninst::InstructionAPI::Operand::~Operand(int)' has some
indirect sub-type changes:
    linkage names of method virtual
Dyninst::InstructionAPI::Operand::~Operand(int)
    changed from '_ZN7Dyninst14InstructionAPI7OperandD1Ev,
_ZN7Dyninst14InstructionAPI7OperandD2Ev' to
'_ZN7Dyninst14InstructionAPI7OperandD0Ev'

  [C]'method std::_Rb_tree_iterator<std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> > > std::_Rb_tree<Dyninst::Absloc,
std::pair<const Dyninst::Absloc, boost::shared_ptr<Dyninst::Assignment> >,
std::_Select1st<std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> > >, std::less<Dyninst::Absloc>,
std::allocator<std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> > > >::_M_insert_(const
std::_Rb_tree_node_base*, const std::_Rb_tree_node_base*, const std::pair<const
Dyninst::Absloc, boost::shared_ptr<Dyninst::Assignment> >&)' has some indirect
sub-type changes:
    parameter 3 of type 'const std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >&' has sub-type changes:
      in referenced type 'const std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >':
        in unqualified underlying type 'struct std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >':

  [C]'method std::pair<std::_Rb_tree_iterator<std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> > >, bool>
std::_Rb_tree<Dyninst::Absloc, std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >, std::_Select1st<std::pair<const
Dyninst::Absloc, boost::shared_ptr<Dyninst::Assignment> > >,
std::less<Dyninst::Absloc>, std::allocator<std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> > > >::_M_insert_unique(const
std::pair<const Dyninst::Absloc, boost::shared_ptr<Dyninst::Assignment> >&)'
has some indirect sub-type changes:
    parameter 1 of type 'const std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >&' has sub-type changes:
      in referenced type 'const std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >':
        unqualified underlying type 'struct std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >' changed, as reported earlier

  [C]'method std::_Rb_tree_iterator<std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> > > std::_Rb_tree<Dyninst::Absloc,
std::pair<const Dyninst::Absloc, boost::shared_ptr<Dyninst::Assignment> >,
std::_Select1st<std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> > >, std::less<Dyninst::Absloc>,
std::allocator<std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> > >
>::_M_insert_unique_(std::_Rb_tree_const_iterator<std::pair<const
Dyninst::Absloc, boost::shared_ptr<Dyninst::Assignment> > >, const
std::pair<const Dyninst::Absloc, boost::shared_ptr<Dyninst::Assignment> >&)'
has some indirect sub-type changes:
    parameter 2 of type 'const std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >&' has sub-type changes:
      in referenced type 'const std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >':
        unqualified underlying type 'struct std::pair<const Dyninst::Absloc,
boost::shared_ptr<Dyninst::Assignment> >' changed, as reported earlier

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

[Bug default/19101] ABI identity problem with type synonym?

[woodard at redhat dot com]

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

Ben Woodard <woodard at redhat dot com> changed:

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

--- Comment #1 from Ben Woodard <woodard at redhat dot com> ---
This one looks fine with master after commit
09de4435ce4c3d9df2aeda6c0fa615faa2a63bb5

hype356@ben:~/bin/abidw --abidiff
/collab/usr/global/tools/order/spack/opt/chaos_5_x86_64_ib/gcc@4.4.7/dyninst@8.1.2-b040c20e/lib/libparseAPI.so.8.1.2
hype356@ben:echo $?
0

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