aboutsummaryrefslogtreecommitdiff
path: root/clang/www
diff options
context:
space:
mode:
authorAaron Ballman <aaron@aaronballman.com>2022-05-21 14:59:16 -0400
committerAaron Ballman <aaron@aaronballman.com>2022-05-21 15:02:46 -0400
commitdf46fb40557a14807dd508af32251ceb1cab8b86 (patch)
treebb0f91b8e194f65ca9836555bf2aa7dc26df37a7 /clang/www
parent8bfccb963b3519393c0266b452a115a4bb46d207 (diff)
downloadllvm-df46fb40557a14807dd508af32251ceb1cab8b86.zip
llvm-df46fb40557a14807dd508af32251ceb1cab8b86.tar.gz
llvm-df46fb40557a14807dd508af32251ceb1cab8b86.tar.bz2
Test C DR conformance (part one of many)
This starts to fill out the C DR status page with information determined from tests. It also starts to add some test coverage for the DRs we can add tests for (some are difficult as not all C DRs involve questions about code and some DRs are about the behavior of linking multiple TUs together). Note: there is currently no automation for filling out the HTML page from test coverage like there is for the C++ DRs, but this commit attempts to use a similar comment style in case we want to add such a script in the future.
Diffstat (limited to 'clang/www')
-rw-r--r--clang/www/c_dr_status.html42
1 files changed, 21 insertions, 21 deletions
diff --git a/clang/www/c_dr_status.html b/clang/www/c_dr_status.html
index b92cf60..05d8579 100644
--- a/clang/www/c_dr_status.html
+++ b/clang/www/c_dr_status.html
@@ -70,16 +70,16 @@ conformance.</p>
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_004.html">4</a></td>
<td>NAD</td>
<td>Are multiple definitions of unused identifiers with external linkage permitted?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="5">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_005.html">5</a></td>
- <td>C89</td>
+ <td>NAD</td>
<td>May a conforming implementation define and recognize a pragma which would change the semantics of the language?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="6">
- <td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_006.html">7</a></td>
+ <td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_006.html">6</a></td>
<td>C89</td>
<td>It is unclear how the strtoul function behaves when presented with a subject sequence that begins with a minus sign</td>
<td class="na" align="center">N/A</td>
@@ -88,43 +88,43 @@ conformance.</p>
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_007.html">7</a></td>
<td>NAD</td>
<td>Are declarations of the form struct-or-union identifier ; permitted after the identifier tag has already been declared?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="8">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_008.html">8</a></td>
<td>NAD</td>
<td>Can a conforming C compiler to perform dead-store elimination?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="9">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_009.html">9</a></td>
<td>C89</td>
<td>Use of typedef names in parameter declarations</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="none" align="center">No</td>
</tr>
<tr id="10">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_010.html">10</a></td>
<td>NAD</td>
<td>Is a typedef to an incomplete type legal?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="11">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_011.html">11</a></td>
<td>C89</td>
<td>Merging of declarations for linked identifier</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="12">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_012.html">12</a></td>
<td>NAD</td>
- <td>Questions on the validity of various expressions</td>
- <td class="unknown" align="center">Unknown</td>
+ <td>Is it valid to take the address of a dereferenced void pointer?</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="13">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_013.html">13</a></td>
<td>C89</td>
<td>Compatible and composite function types</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="14">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_014.html">14</a></td>
@@ -136,7 +136,7 @@ conformance.</p>
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_015.html">15</a></td>
<td>NAD</td>
<td>What is the promoted type of a plain int bit-field?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="16">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_016.html">16</a></td>
@@ -166,7 +166,7 @@ conformance.</p>
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_020.html">20</a></td>
<td>NAD</td>
<td>Is a compiler which allows the Relaxed Ref/Def linkage model to be considered a conforming compiler?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="21">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_021.html">21</a></td>
@@ -196,19 +196,19 @@ conformance.</p>
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_025.html">25</a></td>
<td>NAD</td>
<td>What is meant by 'representable floating-point value?'</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="26">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_026.html">26</a></td>
<td>NAD</td>
<td>Can a strictly conforming program contain a string literal with '$' or '@'?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="27">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_027.html">27</a></td>
<td>C89</td>
<td>Can there be characters in the character set that are not in the required source character set?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="28">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_028.html">28</a></td>
@@ -220,7 +220,7 @@ conformance.</p>
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_029.html">29</a></td>
<td>NAD</td>
<td>Do two types have to have the same tag to be compatible?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="none" align="center">No</td>
</tr>
<tr id="30">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_030.html">30</a></td>
@@ -232,19 +232,19 @@ conformance.</p>
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_031.html">31</a></td>
<td>NAD</td>
<td>Can constant expressions overflow?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="32">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_032.html">32</a></td>
<td>NAD</td>
<td>Must implementations diagnose extensions to the constant evaluation rules?</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="none" align="center">No</td>
</tr>
<tr id="33">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_033.html">33</a></td>
<td>NAD</td>
<td>Conformance questions around 'shall' violations outside of constraints sections</td>
- <td class="unknown" align="center">Unknown</td>
+ <td class="full" align="center">Yes</td>
</tr>
<tr id="34">
<td><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_034.html">34</a></td>