> -----Original Message----- > From: gcc-ow...@gcc.gnu.org [mailto:gcc-ow...@gcc.gnu.org] On Behalf Of Paulo > Matos > Sent: 27 June 2013 14:52 > To: gcc@gcc.gnu.org > Subject: Infinite recursion due to builtin pattern detection > > Another thing I cannot grasp is that the test for inside_main completely > disappears. We do know n <= 2 after the loop but we have no information for > inside_main so I would assume we still need to test inside_main to know if we > should abort. >
Let me add that one of the replies to this last issue would be that GCC detects the infinite recursive call and removes everything else afterwards to the test involving internal_main disappears but that's not the case. The test is removed in vrp1 and the memset pattern is only replaced by a call to the builtin in ldist. Paulo Matos
