diff options
author | Aaron Ballman <aaron@aaronballman.com> | 2022-05-21 14:59:16 -0400 |
---|---|---|
committer | Aaron Ballman <aaron@aaronballman.com> | 2022-05-21 15:02:46 -0400 |
commit | df46fb40557a14807dd508af32251ceb1cab8b86 (patch) | |
tree | bb0f91b8e194f65ca9836555bf2aa7dc26df37a7 /clang/www | |
parent | 8bfccb963b3519393c0266b452a115a4bb46d207 (diff) | |
download | llvm-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.html | 42 |
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> |