<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/67440>67440</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [OpenCL] False positive uninitialized variable warning
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          barakgla
      </td>
    </tr>
</table>

<pre>
    Hi ,

I've encountered a false positive uninitialized variable warning when I executed an OpenCL kernel.

Link to reproducer: [https://godbolt.org/z/YYzf8jfr1](url)

So , as it can be seen in the reproducer , 
there is a barrier between the the assignment inside the if condition , and the use , 
therefore it can be proven it will not use uninitialized value.

Thanks a lot, 
Barak


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUUs1u2zwQfBrqsoghUZZkHXRIYghfgADfob3kuBRX1sY0afDHbvP0BeWicXPrQSLA3dkZzg6GwAdLNIjmSTT7AlNcnB8UejweDBbK6Z_DfwxCPotyL8rH2_9FyO5CQHZyyUbypAFhRhMIzi5w5AtBsmw5Mhr-IA0X9IzKEFzRW7YHuC5k4QXoB00pZryF_89kn1_hSN6S2dzzvbI9QnTg6eydThN5UT-CaJ6WGM9B1I9CjkKOB6eVM3Hj_EHI8UPI8e3tY969z74SzV7IXfJGyP5-8jeX3wYYgCNMaEERBCILbCEudMe49t1AcSFPwAEQFHrP5EFRvGZYxuTvZuyJbAS2gfXtlmeYnNUc2dkbr9VrIQX6On92meOPqLN3lywrwpWNAeviCvrqskn0l3PfF7THLNS4-EnwlPd731boodZ93WNBQ9X2Tbct21oWy0C9qrHu2gnnCtu5kl2pdrqvGtXituy6ggdZyrrsZVs1Zd1Um6bTiBqbHTXltJs6sS3phGw2xlxOeTUFh5BoaLvttiwMKjJhjZ-Ulq6wFoWUOY1-yJgHlQ5BbEvDIYbPKZGjWXN7i41o9jD-SwKL5M3wJT8cl6Q2kzsJOWai38fD2bt3mqKQ4yovCDmu8n8FAAD__wjFDE8">