This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/66021] GCC miscompiles Z3
- From: "pinskia at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 05 May 2015 23:46:09 +0000
- Subject: [Bug middle-end/66021] GCC miscompiles Z3
- Auto-submitted: auto-generated
- References: <bug-66021-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|critical |normal
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Nuno Lopes from comment #3)
> Created attachment 35467 [details]
> reduced test case
The reduced testcase is compiled correctly in that the deallocate is called
unconditional with zero argument:
bit_vector() : m_num_bits(0), m_capacity(0), m_data(0) {
memory::deallocate(m_data);
}
m_data will be NULL always when deallocate is called.