<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylUsuO4yAQ_Br7ghJhMBs4cNhMNrc57RfwaGImxFg0nsz8_RJro9XeRhoJAdXdqq6Cttl_6m6kFSukZAp5MTO5A7HGXZdcKqGeju5wkOIHM1x6SbkYuQQJ5sA8kzT4YbBKjaTj546eOvrz787OboJSPndLdNcv0_Rec6-4Mr1Z65SLvuMtI2C_lqSnWhfs-IO7rUus02r3Lt8aSOn9eeyWkt_A1QYj4grYLoKLgfWT9lJI7zmTNpjRDozRwEewEA7OuQFYn4yFhLoTx46xAgkMQuv4fI4W7NgL-S8X4gf4XZx3NxPnR4E49d_XGjWjTR6jA-VUMblvGs2gQlDKGyW8aJ8GrWPaP3j2uVz6ojdKu16wJVPEiv-SBjFeZoDNWlNYY00bOD6tiVNDv51pU_DrPae1xjy3IHk15UpSzguS2GYjplSgrmUmYZ3dowiJQRLiHCv0mwu9WfgDOY--Og>53512</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [Backport][ScalarEvolution] Mark loops in willreturn functions as finite
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            release:backport,
            release:fixed-in-main
      </td>
    </tr>

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

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

<pre>
    @tstellar Can we backport 0d04c778562a38d8035438e8ea72d280fd11b994 ?

/cherry-pick 0d04c778562a38d8035438e8ea72d280fd11b994
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNkc1u3CAQx58GX9Cu-DAxHDg02ebWU59gDMOaLmsswEnz9sWrRFVvlUYwH38Nvxnm7D8sGVmrDVOCQl9gpe9IZ3C3LZdGmWejmyatngRI7TWTapQaNcIkvNAseM5nY0ZK5CthF8K-fZ7i1S1Yysdpi-72320Gb6U30sDQYktoiXp-_kQh6tKjnw465ve3nPYW89qT9AeUG005b5XGDh9TKtj2stKwr-4QVQqVhrjGhsNekl1a2yqRB2O3a2zLPp9dvvcgpbev67SV_Atd62GsdcfaHSUVF8NiJZ8D13x6Ch4BR-dQKu3NGEYYkaMcEsyY6oFPhCiYECr2F7_W2pNEvNB_aiH-Rn-K6-kOcT0E6jJEK5joxjiTzAh9xjABNyEY48Eor_rXYden80F8zuU6FPuAn_dr7cUUa6t_i1BrvK742OvRH_a25GLf6z1XrMNjTvsY8g8XLKin">