We currently miscompile DLV with -fstrict-aliasing, and the only aliasing
issues
that are visible are inside libstdc++:
/usr/include/c++/4.1.0/bits/basic_string.h:180: warning: dereferencing
type-punned pointer will break strict-aliasing rules
/usr/include/c++/4.1.0/bits/stl_set.h:348: warning: dereferencing type-punned
pointer will break strict-aliasing rules
/usr/include/c++/4.1.0/bits/stl_set.h:409: warning: dereferencing type-punned
pointer will break strict-aliasing rules
this is with a patch to enable aliasing warnings for C++
--
Summary: Aliasing problems inside libstdc++
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: libstdc++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24975
