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

    <tr>
        <th>Summary</th>
        <td>
            [Clang][Static Analyzer][CTU] c++ 20 concept not supported
        </td>
    </tr>

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

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

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

<pre>
    It seems that c++20 related features are not completed.
Is there any plan or schedule?

[build] In file included from C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\variant:23:
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:1775:16: error: cannot import unsupported AST node ConceptSpecializationExpr
[build] 1775 | requires (!sized_sentinel_for<_BidIt1, _BidIt2>)
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:1957:9: error: cannot import unsupported AST node Concept
[build] 1957 | concept _Constant_iterator = input_iterator<_Ty> && same_as<iter_const_reference_t<_Ty>, iter_reference_t<_Ty>>;
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:1980:9: error: cannot import unsupported AST node Concept
[build] 1980 | concept _Not_a_const_iterator = !_Is_specialization_v<_Ty, basic_const_iterator>;
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:1993:9: error: cannot import unsupported AST node Concept
[build] 1993 | concept _Bci_order = _Different_from<_Ty, basic_const_iterator<_Iter>> && random_access_iterator<_Iter>
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:1997:9: error: cannot import unsupported AST node Concept
[build] 1997 | concept _Bci_order_3way = _Bci_order<_Ty, _Iter> && three_way_comparable_with<_Iter, _Ty>;
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:2000:9: error: cannot import unsupported AST node Concept
[build] 2000 | concept _Not_bci_order =
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:3699:13: error: cannot import unsupported AST node Concept
[build] 3699 | concept _Uses_nonqualification_pointer_conversion =
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:3704:13: error: cannot import unsupported AST node Concept
[build] 3704 | concept _Convertible_to_non_slicing =
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:3720:13: error: cannot import unsupported AST node Concept
[build] 3720 | concept _Pair_like_convertible_from =
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:3730:13: error: cannot import unsupported AST node Concept
[build] 3730 | concept _Store_size = (_Ki == subrange_kind::sized) && (!sized_sentinel_for<_Se, _It>);
[build] | ^
[build] C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.37.32822\include\xutility:3743:18: error: cannot import unsupported AST node ConceptSpecializationExpr
[build] 3743 | requires _Store_size<_It, _Se, _Ki>
[build] | ^
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzUmFGP2jgQgH-NebGKEpsk5IEHCIuEqjtVYttXyzgTmKuxU9vZLf31JycpLbt7PenE6Q4JkWA8M_E345lxpPd4MAALkq1Itp7ILhytW6ijPaqUpclkb-vzYhuoBzh5Go4yUEXYirAVS6gDLQPUtAEZOgeeSgfU2ECVPbUaAtRTkqxJstxGUXBApTnTVktDraNeHaHuNBC-GWaN39lq36GuSbamW0Mb1EDRKN3V0ZKzJ1oRviRZ9cHZg5MnukENnmTVb6ic9bYJ9BP6Tmq6C12NlmQVSxgbBBrwHq2RmmTVp4pk1aO1uhfe9T_T2ZQXU87mvcBolmTVk3QoTSB8yXi0_upJ_4Nn-toF1BjOhC_TosjiJSd8ScE56-KNkiY6A0-tdYF2xndtvIOaLneP1NgaaGWNgjbsWlAoNX6TAa15-Nq61yuMNigpKurgS4fR24TNCUs9foNaeDABDWjRRNuVWGG9DSlhFR1uGeEPhJWv1UaNJHv43xEts4LwZfkPgb6Br8yKfrFqmEFFZY0P0gSBAZwM1lHC1xRN2_0Yiigfz4Q_UMJywnLq5QmE9IRXcYpQUYdw0IADo0CEi0BE309588_4Wd2RM-bJjZ0xT66d8bsNQo44r_xBWCq2XvirHSKeRpSsonvpUb2QvDu-Jb8x35Jf810pFNbVMEAVa2z6qAwiZvS_g1mJbYAB6mUjOGlqexJSKfD-zbl3RP_WqaYs_oK-4M_yPLjgMvaD_nd03xmHowMQz_IsYkGXTu41iGcMxwvmKDRmlPsJd5Ykt00nUeHrdLL_OeTvBg7Pywgm5TejEzVe0_nowQtjzZdOamxQDTm1tWjGmvYELq7jvsAVyezG4Ipk9qpleAIXMO7DYCNC4TUqNIc7Q8WSW6NiL3bgB4lOaPwMYzwN0Przw32h4jdHxV-g2gXrQMQ-fux45uI99pT4mvpu76Q5gPiMpo4o-LLv-Akrv5eJX50DdjAWlrH_v6MywYtZpJ7O_8VDVbRxfaj6yRtDle35jRjf468am0m94HXJSzmBRZqXs2KezPNyclxAkZeMz7IiZakqE5WqJk0KDlKmjBd5PsEFSxhPyjRLGStm5XSWNWUDUO_TksNcNWSWwEminmr9dJpad5ig9x0s8jxL2ETLPWjfv0NgTGlpDoQxwirCmIFn2k-NI9l64hZRw7t9d_Bklmj0wf_QGTDo_lVE1evI1iRb7YIMqOjSSH3-Bm4YrB4_xnWPbyIoSy7BHH1zccmkc3pxDKH1MZDYhrDNAcOx20-VPRG2iYbHy7vW2T9ABcI2_eN6wjb94v4MAAD__4QHWds">