Considering the following codes:<div><br></div><div><p style="margin:0px;font-size:13px;font-family:Monaco;color:rgb(78,144,114)"><span style="color:#931a68">int</span><span style="color:#000000"> x = 21; </span></p>
<p style="margin:0px;font-size:13px;font-family:Monaco"><span style="color:#931a68">if</span>(x > 20) { </p>
<p style="margin:0px;font-size:13px;font-family:Monaco">    p = &C; </p>
<p style="margin:0px;font-size:13px;font-family:Monaco">} <span style="color:#931a68">else</span> { </p>
<p style="margin:0px;font-size:13px;font-family:Monaco">    p = &E; </p>
<p style="margin:0px;font-size:13px;font-family:Monaco">}</p><p style="margin:0px;font-size:13px;font-family:Monaco"><br></p><p style="margin:0px;font-size:13px;font-family:Monaco">I looked into the bitcode that LLVM generates, it still considers the 'else' branch, which will be never reached during the runtime.</p>
<p style="margin:0px;font-size:13px;font-family:Monaco"><br></p><p style="margin:0px;font-size:13px;font-family:Monaco">Thanks,</p><p style="margin:0px;font-size:13px;font-family:Monaco">Robert</p></div>