<html>

    <head>

      <base href="https://bugs.llvm.org/">

    </head>

    <body><span class="vcard"><a class="email" href="mailto:efriedma@quicinc.com" title="Eli Friedman <efriedma@quicinc.com>"> <span class="fn">Eli Friedman</span></a>

</span> changed

          <a class="bz_bug_link 

          bz_status_RESOLVED  bz_closed"

   title="RESOLVED INVALID - incorrect code generated in llvm Early CSE w/ MemorySSA phase"

   href="https://bugs.llvm.org/show_bug.cgi?id=41918">bug 41918</a>

          <br>

             <table border="1" cellspacing="0" cellpadding="8">

          <tr>

            <th>What</th>

            <th>Removed</th>

            <th>Added</th>

          </tr>

         <tr>

           <td style="text-align:right;">Resolution</td>

           <td>---

           </td>

           <td>INVALID

           </td>

         </tr>

         <tr>

           <td style="text-align:right;">Status</td>

           <td>NEW

           </td>

           <td>RESOLVED

           </td>

         </tr>

         <tr>

           <td style="text-align:right;">CC</td>

           <td>

           </td>

           <td>efriedma@quicinc.com

           </td>

         </tr></table>

      <p>

        <div>

            <b><a class="bz_bug_link 

          bz_status_RESOLVED  bz_closed"

   title="RESOLVED INVALID - incorrect code generated in llvm Early CSE w/ MemorySSA phase"

   href="https://bugs.llvm.org/show_bug.cgi?id=41918#c2">Comment # 2</a>

              on <a class="bz_bug_link 

          bz_status_RESOLVED  bz_closed"

   title="RESOLVED INVALID - incorrect code generated in llvm Early CSE w/ MemorySSA phase"

   href="https://bugs.llvm.org/show_bug.cgi?id=41918">bug 41918</a>

              from <span class="vcard"><a class="email" href="mailto:efriedma@quicinc.com" title="Eli Friedman <efriedma@quicinc.com>"> <span class="fn">Eli Friedman</span></a>

</span></b>

        <pre>In C, it is only legal to access a variable while it's live.  (From the

standard: "its lifetime extends from entry into the block with which it is

associated until execution of that block ends in any way".)  The code in your

testcase declares a variable inside a block, then tries to access it after the

block exits.

Of course, statement expressions aren't part of the standard, but I can't think

of any reason why we would treat them differently from regular blocks in this

context.</pre>

        </div>

      </p>

      <hr>

      <span>You are receiving this mail because:</span>

      <ul>

          <li>You are on the CC list for the bug.</li>

      </ul>

    </body>

</html>