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

    <tr>
        <th>Summary</th>
        <td>
            The order of parameters is incorrect In the old version
        </td>
    </tr>

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

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

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

<pre>
    https://github.com/llvm/llvm-project/blob/main/llvm/lib/Support/Z3Solver.cpp

https://github.com/llvm/llvm-project/blob/release/9.x/llvm/lib/Support/Z3Solver.cpp

It has been corrected in the new version, but it seems that it has not been synchronized to the old version (such as llvm9)
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzEk81u3SAQhZ9mvEG-gjH-YeFF0shS1umqO37G11S-YAFOkz59ZTdRq-zSTTe2gOHMfAcdnbO_BqIR2ntoHyq9lyWmsXgdXny4LlSZ6F7HpZQtQ3MHOAFOV1-W3VxsvAFO6_r8_qu3FL-TLYCTWaMBnG7ah79q_LH3tG9bTEfRt-Yprs-ULnbbgD8AvwMU0N77m74StA-Aw6cb65ypZMAJOyl4x1vASVhtHc6yJtF3tZxtWxvT63ro2k4JaUVrOkD1NsL5_VfgRCvpTICTurz8f_JB2VaZrq95L2UtBbpaKSVrQ23rOiOcacQH8sfCFp2ZIQrMxpTIFnLMB1YWYoF-sGdK2ccA-IWZvTBfWCa6ZVYWfa6O2yGW3wr5NdglxeB_kmMlniJxde8iDHDIu12YzuzAUYCqcmPjVKN0RaPo-dByOXRdtYxD0ws9C-tmofkspZkbqR01nLDnqpsrPyJHyREFHw4LLig7YYyZ-1nyns8EktNN-_Vy9LrEdK18zjuNA8q-qVZtaM1nEhAP0vMQEI9gpPG02-zXDJKvPpf8R6X4stL49WBLjhKLM9t00jcqlDLzmfnwZiV7DB89qPa0fj5g52zHa5-z_woAAP__oHsyIw">