https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61409
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I think what is important that if the other conditions besides mini_p != 0 are not met, then control flow goes to basic blocks from which there is no path to the bb with the use (in this testcase just to the return bb or empty blocks that directly or indirectly fall thru into the return bb and the use is not in the return bb).