[Bug middle-end/66021] GCC miscompiles Z3

2015-05-10 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021 --- Comment #7 from Andrew Pinski --- Basically GCC understands that memcpy takes non-null arguments and optimizes based on that.

[Bug middle-end/66021] GCC miscompiles Z3

2015-05-10 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug middle-end/66021] GCC miscompiles Z3

2015-05-10 Thread nunoplopes at sapo dot pt
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021 Nuno Lopes changed: What|Removed |Added Attachment #35467|0 |1 is obsolete|

[Bug middle-end/66021] GCC miscompiles Z3

2015-05-05 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021 Andrew Pinski changed: What|Removed |Added Severity|critical|normal --- Comment #4 from Andrew Pinski

[Bug middle-end/66021] GCC miscompiles Z3

2015-05-05 Thread nunoplopes at sapo dot pt
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021 --- Comment #3 from Nuno Lopes --- Created attachment 35467 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35467&action=edit reduced test case

[Bug middle-end/66021] GCC miscompiles Z3

2015-05-05 Thread nunoplopes at sapo dot pt
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021 --- Comment #2 from Nuno Lopes --- Created attachment 35465 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35465&action=edit test case

[Bug middle-end/66021] GCC miscompiles Z3

2015-05-05 Thread nunoplopes at sapo dot pt
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66021 --- Comment #1 from Nuno Lopes --- Sorry, a bit more information the problem: On function void reduce_args_tactic::imp::populate_decl2args_proc::operator()(app * n), when compiled with -O0 no call to memory::deallocate(void* p) is made, while wi