https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69355
--- Comment #23 from Martin Jambor <jamborm at gcc dot gnu.org> --- The testcase I posted to comment #19 fails also on the 4.9 branch so I will test and commit the patch there too. Jakub, can I close the bug afterwards or do you want to backport the gcc/tree-dfa.c (the patch in comment#11) to gcc 5 as well?