* [Bug default/20937] New: Detect ODR violations
@ 2016-01-01 0:00 dodji at redhat dot com
2016-01-01 0:00 ` [Bug default/20937] " dodji at redhat dot com
0 siblings, 1 reply; 2+ messages in thread
From: dodji at redhat dot com @ 2016-01-01 0:00 UTC (permalink / raw)
To: libabigail
https://sourceware.org/bugzilla/show_bug.cgi?id=20937
Bug ID: 20937
Summary: Detect ODR violations
Product: libabigail
Version: unspecified
Status: NEW
Severity: enhancement
Priority: P2
Component: default
Assignee: dodji at redhat dot com
Reporter: dodji at redhat dot com
CC: libabigail at sourceware dot org
Target Milestone: ---
It could be possible to make add a --detect-odr-violation option to abidw or to
write a new tool named e.g odrcheck that would do that.
The idea is to modify libabigail to add an ODR-checking mode that:
1/ disables type and decl de-duplication
2/ during type canonicalization, disables the ODR-based optimization which
enables us to avoid comparing two types of the same kind and same name.
Rather, structurally (memberwise) compare all types during type
canonicalization.
3/ wen comparing class types, does not compare their virtual member functions
3/ during type canonicalization, if two types of the same kind have the same
name but are structurally different flag them as violating ODR.
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug default/20937] Detect ODR violations
2016-01-01 0:00 [Bug default/20937] New: Detect ODR violations dodji at redhat dot com
@ 2016-01-01 0:00 ` dodji at redhat dot com
0 siblings, 0 replies; 2+ messages in thread
From: dodji at redhat dot com @ 2016-01-01 0:00 UTC (permalink / raw)
To: libabigail
https://sourceware.org/bugzilla/show_bug.cgi?id=20937
dodji at redhat dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |18941
Referenced Bugs:
https://sourceware.org/bugzilla/show_bug.cgi?id=18941
[Bug 18941] Add a warning option to libabigail tools to report possible DWARF
issues
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-12-06 12:43 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-01-01 0:00 [Bug default/20937] New: Detect ODR violations dodji at redhat dot com
2016-01-01 0:00 ` [Bug default/20937] " dodji at redhat dot com
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).