<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylU0uPmzAQ_jXmYgXBeAlw4JBNmmsPrXo3eAJuDES2SdR_3zFJWHabW62Rsefx-ZsH9aj-VM2okIkdSw4s2bFt8pD7FYQeGjMp5EzsnVd6jDsmvr2yGt1r79bmeZ8Gp9sBFdeDv2sudryi9pxBsTbygUHJH6H5-_3Aad06bTB4p7PD2hQWhb0HESs9yw9rDkFl0U92IO-n3xefhV4v9RBeo8dekPnE-IznkPqBJx-oi-fFkstpBgJKubWy585L61GxbE-sIbywZr3APSpEsUH11W0NzCCbQtyCuOevQh7JpyBepP-55Y2RQ8uvaJ0eqVg7nqZxEqcbWOfnPF4c9yMBE1c1NZ8m6A6x-c7DaMUNFXNLwmMGRxmPk_8Yr3n_2SHhuMl4TWHPUs1ZOv6ieAAcuNc9Oi4HxRsrXUfnm_Ydl9xh2-PgpSf6_CQJNb4_E6lKqFKUMpKT70Zb_TgjUp4-mqypOu8vLiQBR5KWsKY6bsaeLsZcn58NcfmNDXXmqJ2b0NEhg6Iooq6SjQCpxEnkKkkQijoVyVue12VZ4glLFRlZo3EVy2hcYcAbnyFC17JD9P8MdAUJpClAnpRCQBFLyLJT2mwF6QRAyt4SpOE2ccCJR9tGtpoh66l1ZDTa0f-7GKWbJx1nwsTQa2-w-iWNVny_tOnfckczr2om9RfeY0U8>52888</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Valid C program segmentation fault
        </td>
    </tr>

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

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

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

<pre>
    code:
```
#include <stdio.h>
#include <limits.h>

unsigned int
proveit (unsigned int n) 
{
    while (1) {
        n++;
    }

    return n;
}

int
main ()
{
    unsigned int keke = 0;

    printf("program started\n");
    keke = proveit(keke);
    printf("%u kek\n", keke);
    return 123;
}
```
clang version: 11.0.1-2

steps to reproduce:
`clang -O code.c && ./a.out`

The resulting program prints "program started" 2 times and crashes with a segmentation fault.

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxtU8uyojAQ_Zqw6ZKCRBQWLLw6bmcxU7MPpIVcA1hJ0Jq_nw4qF--YSoWkH6dPP6gG9besB4VM7FhyYMmObZLHvj-50H1tRoXAxN55pYe4ZeLHO63RnfZuqZ7OsXe66VGB7v1dcrHDFbUHxvOlEnrGC3i4bj_uF6B1a7XBYJ1OBktVWOT2EbZYyNn2sOQQRBb9aHuyftp9s5npdVL3IRoFe0PmhfEZzyH1AyRfqLPlxZLJaQLilHJjZQfOS-tRsWxPrHmIsGQ9wz0qRL5B9N1sCcx4Nga_GXEP71weyadcvEn_teW1kX0DV7ROD1SsHaRpnMTpii_zcx4vDvxAwMRVjfXLBN0hVj8hjFZcUzE3tCFm_CjjYfRf4zWdv1skHDcar8ntWaopSwdvisc5cPC6QweyV1Bb6Vq637RvQYLDpsPeS0_04SQJNb6HiVQpVCEKGXntDZZ_pNEK9nPA_x2j0Zqy9f7iQnb8SLuhIGMV10NHD2Ouz8-KUD6xppYdtXMjOrpkPM_zqC23haqyAtcnUSU83RQosrVKsjRf13Kdym1kZIXGlSyjOeY93mCCCO3MDpEuOXmlnG-TQgiex5Jn2SmtN4JkgvOUrROkmTVx4BEPtolsOVGqxsaR0mhHv-WslG4aYJzCEb4cfTvY8tcZkZruoyl2OXH_B6UlLyo">