Viewing all changes in revision 5513.
- Committer: Julia Lawall
- Date: 2023-05-06 17:34:50 UTC
- Revision ID: git-v1:6608e45f85a10c57a3c910154cf049a5df4d98e4
macro decl for structure fields
Add MacroDecl for SmPL structure fields, and add attributes for
MacroDecl for C.
Suggested-by: Kees Cook <keescook@chromium.org>
Add MacroDecl for SmPL structure fields, and add attributes for
MacroDecl for C.
Suggested-by: Kees Cook <keescook@chromium.org>
- files added:
- tests/decadd.c
- files modified:
- engine/check_exhaustive_pattern.ml
expand all
collapse all
added
removed
