Create documentation for the rewriter tool #35
Labels
feature
This labels new features and enhancements.
Comments
Merged
|
The convert tool has been mostly rewritten (see PR #642) and developer documentation has been added. We likely still need externally facing documentation. |
dopelsunce
pushed a commit
to dopelsunce/checkedc-clang
that referenced
this issue
Sep 28, 2020
This change adds tests for parsing return bounds expressions in function declarators and function types. - The tests for function declarators that return array_ptr types are straightforward. array_ptr types avoid the problems of the infix C type declarator syntax, at least for pointer types. - There are additional tests for parsing return bounds expressions for more complicated types, such as pointers to function types, function types that return pointers to function types, and function declarations that return pointers to function types. - There are variants of these additional tests for unchecked pointer types with bounds declared for them. The interoperation support in Checked C may lead to these types of bounds declarations. The tests cover return bounds expressions for unchecked pointer types to function types and so on. - There are tests for both function declarations and function definitions. - Also added tests of parsing bounds expressions with omitted arguments. This change adds tests for parsing return bounds expressions in function declarators and function types. - The tests for function declarators that return array_ptr types are straightforward. array_ptr types avoid the problems of the infix C type declarator syntax, at least for pointer types. - There are additional tests for parsing return bounds expressions for more complicated types, such as pointers to function types, function types that return pointers to function types, and function declarations that return pointers to function types. - There are variants of these tests for unchecked pointer types to function types and so on. These may arise from the interoperation support in Checked C. - Also added tests parsing bounds and count expressions with omitted arguments.
|
Issue filed with 3C: correctcomputation#419 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The rewriter should have some documentation, both externally facing and developer documentation. They should be added to the folder docs\checked.
The text was updated successfully, but these errors were encountered: