tree 5f8e23eeadff53a72e3871720737c84771dcbc2c
parent baa291bfb58e73a253669b86ac604cf8e6792b6c
author YexuanXiao <bizwen@nykz.org> 1752803157 +0800
committer GitHub <noreply@github.com> 1752803157 -0300
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoeadVCRC1aQ7uu5UhlAAAmSgQACKvmlp7Ma6az/UnBMpAtZr3
 ubDHbtD2GX7UcESu/PTeyK4/wC0NjSA0qBtAqfyBoJHGmf5dTx0guJ6hun1cm58h
 hO6ItySlmw8LWyk2NzLDw301WX7CbvqN8juJ0y8d/SCZ6KPvlJRFBEyWWyS46M6y
 hrO9MWVWTzRcVBqlvWMKASzk8Km/iKWuXXFPORG8yviatHm1L5O2IRyJk5TZFToT
 /67cLtfk82WHs6mnhSIZqO/yf5DF9l/HTy7PHLRXBuY7XAyoY3ZCmzYqPm9fbcjU
 sfxm6ofHAbK6911lNBm0wwwQWGldTO14f2c1JkhCMIpd5WkhaB8kV9fLTi4A9oiv
 GHz7SddCXiMoCCPi2rSVZpZdFcrLPFmm4to9fbqXbNA3XWOAKfF8u8Kr1jhAjbBx
 SfbzNrLXEA8VYjq2rBlIviFzbrWTVxjeY4A4hHgru+7ZTvbxRr43eu++G07y8SH5
 e8gXIPK+YX+v3vMRJ151FDFPMHQOi0Zz7oeppZF5ugz1TcvDgjuIwbiO1Kt9Kc29
 eOAEugdvGj7tI3LvXrUr68Huz7DCBy2T0eciEfFhcq4sxuXLp3hm8/fPfsvdasat
 CPMDl4FPbG2fRDoCLjKraRdEkeiIjsW90CvNlyyRSWYjP7xgb7fIg6S5ZtiyJM7X
 QGkifb/OnIMvP7Xk6hy0
 =98H9
 -----END PGP SIGNATURE-----
 

[Clang] Make the SizeType, SignedSizeType and PtrdiffType be named sugar types instead of built-in types (#143653)

Including the results of `sizeof`, `sizeof...`, `__datasizeof`,
`__alignof`, `_Alignof`, `alignof`, `_Countof`, `size_t` literals, and
signed `size_t` literals, the results of pointer-pointer subtraction and
checks for standard library functions (and their calls).

The goal is to enable clang and downstream tools such as clangd and
clang-tidy to provide more portable hints and diagnostics.

The previous discussion can be found at #136542.

This PR implements this feature by introducing a new subtype of `Type`
called `PredefinedSugarType`, which was considered appropriate in
discussions. I tried to keep `PredefinedSugarType` simple enough yet not
limited to `size_t` and `ptrdiff_t` so that it can be used for other
purposes. `PredefinedSugarType` wraps a canonical `Type` and provides a
name, conceptually similar to a compiler internal `TypedefType` but
without depending on a `TypedefDecl` or a source file.

Additionally, checks for the `z` and `t` format specifiers in format
strings for `scanf` and `printf` were added. It will precisely match
expressions using `typedef`s or built-in expressions.

The affected tests indicates that it works very well.

Several code require that `SizeType` is canonical, so I kept `SizeType`
to its canonical form.

The failed tests in CI are allowed to fail. See the
[comment](https://github.com/llvm/llvm-project/pull/135386#issuecomment-3049426611)
in another PR #135386.