http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60770
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- Catching it earlier may be hard, even for these trivial examples we only have from einline (18) to esra (24) or from eh (10) to ccp1 (21) and in more complicated examples I fear the interval will be empty, but we can try... CCP looks like the most natural choice in the interval 18-21. Manuel, for the CCP thing, it looks a bit different from PR 18501. There, you had something that was either 42 or undefined, so we picked 42. Here, we have something that must be undefined, and we are still picking whatever value it might have had before becoming undefined (but the write of that old value may have already been removed because it sees the value becomes undefined later...). Not that it is necessarily easier to do anything about it.
