summaryrefslogtreecommitdiff
path: root/clang/www
diff options
context:
space:
mode:
authorAaron Ballman <aaron@aaronballman.com>2023-03-08 14:57:32 -0500
committerAaron Ballman <aaron@aaronballman.com>2023-03-08 14:59:53 -0500
commitd2b768bba301aa80e2874d3d935a721eb1148f29 (patch)
treeaf9907ea5c09842d2737651151b084861c8eba43 /clang/www
parent55270f56d2a0992e9aa238fad5bdae03537d1032 (diff)
downloadllvm-d2b768bba301aa80e2874d3d935a721eb1148f29.tar.gz
[C2x] Add test coverage for WG14 N2607
This adds test coverage for N2607, which makes arrays and their elements identically qualified. Clang already implements much of the functionality from this paper, but is still missing some support. It also adds some details to the C status page so users have this information as well.
Diffstat (limited to 'clang/www')
-rw-r--r--clang/www/c_status.html10
1 files changed, 9 insertions, 1 deletions
diff --git a/clang/www/c_status.html b/clang/www/c_status.html
index 27296777f074..764c7c58c7a5 100644
--- a/clang/www/c_status.html
+++ b/clang/www/c_status.html
@@ -829,7 +829,15 @@ conformance.</p>
<tr>
<td>Compatibility of Pointers to Arrays with Qualifiers</td>
<td><a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2607.pdf">N2607</a></td>
- <td class="partial" align="center">Partial</td>
+ <td class="partial" align="center">
+ <details><summary>Partial</summary>
+ Much of the proposal is implemented, but Clang lacks pedantic diagnostics
+ in C17 and earlier regarding use of incompatible pointer types as an
+ extension. Further, Clang does not properly compute the correct result
+ type for the <code>?:</code> operator when the result type should be a
+ qualified array type.
+ </details>
+ </td>
</tr>
<tr>
<td>Unclear type relationship between a format specifier and its argument</td>