<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/58602>58602</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Wrong formatting of the pretty-printed return value of clang_getTypeSpelling()
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
vedgy
</td>
</tr>
</table>
<pre>
When `clang_getTypeSpelling()` returns a value that contains `operator>` or `operator<=` followed by a closing angle bracket or `operator<` followed by an opening angle bracket, it does not insert whitespace between these two tokens. This makes the returned value invalid C++ and prevents *libclang* users from parsing it correctly. For example:
```cpp
namespace FormattingBug {
class X{};
bool operator>(X, int) { return true; }
bool operator<=(X, int) { return true; }
template<typename T> bool operator<(T, int) { return true; }
template<decltype(operator>)> class C{};
C<&operator> > gt; // pretty-printed as "C<&operator>>"
C<&operator<= > le; // pretty-printed as "C<&operator<=>"
C<&operator< <X>> lt; // pretty-printed as "C<&operator<<FormattingBug::X>>"
}
```
When the space between the tokens is removed in the source code, like in the pretty-printed string, it does not compile. In simple cases like these, the user of `clang_getTypeSpelling()` can count the number of angle brackets and distinguish parts of operators from angle brackets. But this becomes unfeasible for more complicated types.
I believe `clang_getTypeSpelling()`, or more likely `QualType::print()` used by it, should insert a tab character between such tokens to pretty-print compilable code. The tab character is preferable to the space character here, because the users may rely on the fact that pretty-printed binary operators are surrounded by spaces to distinguish them from angle brackets.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyVVclu4zgQ_Rr5UhjDomPJOugQO91AHxsToHMbUFJJ4oQiBS7x-O-nSEkdL5medGDHNlnbe6-qVOnmXP7oUUGSbWrJVfdXh-75POKfI0opVJewfcIKugWDzhtlgcMblx7B9dxBrZXjgk7JQo9ouNMm2X4J9tpcHx6T7VM4b7WU-oQNVGeKVUttKQ1QaolQGV6_ovvA99ZRAd2qO8-EHUE4aDRaUNoBlYbGwakXDu3IazJEd0IC7Hq0BOKkwelXVHYNz72wMPBXcqXLGS-lm-AKRZ-igWPCDvSitA2MBt9QOULPHqWoIoH0FTwltdAaPcDITcQnAlfGYO3keQ1fCSD-w4dRYrJ9TDZPyWb5n22mVz2O04niw1w6eQ3cOQp38B0k-WEyoLTWwkv4nT8l2_m00lrCpSRs_xLZUURSEbxnhOCMpyoOELw_co3Cfd7bIcHijg6PjhoplA_PVADchWX750_GvIvcYC1DdIpxhbEIiSZCjjeEHGPK7MIcwrtzIVP8S9hXegVVnTv_MRoqjOTnQV527x3zsf-IHTiL4SUu4X8reuT8lwko-vFlKgPkjOF3UxyvOip04vbx5QbauwZLZ15KEndHmJa74ZrHCmimDA76jQoRs6n2hmxr3WCQX4pXXK5uKrfOxBV0PdO1HkYhcQ3fFFgRZghqbukyRopzHVxCvDCIoNtPbLeaNkqtvXLRT_mhmjyvtouNU98IGxjzwvZhvOmU7BZe57G_dlvDwYfAxEWFVD7V6lWL3IqKrFpaBoM2GIFJUfMAPTS3XV9S_Y18paCF8_9oAvwlaCBFnoPPd89lMJ90jhy_4yem4mIVcYXaXnvZLNuTg-MV1D0nOI5oWVS2vu4XmZ2-Em8WiQd8QeiwXfEmDLFBLi3xFqwowHsfvRv1aKKaxBv3Fn-qGjb1mTqLoOmpd1pymB5KN11UCcXN-UIhTrRYbwzJ3UyoY9YI4lJcijp8KOcKyzTLsjxN8_1-1ZTbptgWfOWEk1j-MJr2fftzskJ3fNDb86qbHi5k8gtFV97IsndutEG6OOOdcL2v1sQy_ZDybfmg8PpvesjQT2GtR0tfdvtsw1Z92aQsL4piy1osspTerOH5Q8pYjjznD_mK5EJpy2RHDzim8AQxRNgEu6eVKNmGsXTDdumOFQ_79S7PWJpm2Fb5ps3TOnnY4MCFXIc61tp0K1PGkirfWbqUxKx9v6QVLTqFGNNRfO5dr01Je6I7r2LiMhb-L7nZ0tg">