Yahui Sun comments

Repositories
Issues
Comments

Results 1 comments of


                                            Yahui Sun

Allow pointers to array_ptrs with bounds based only on the array_ptr values and constants.

I encountered the following struct when converting MUSL to Checked C: ``` struct __ns_msg { const unsigned char *_msg_ptr, *_eom; const unsigned char *_sections[4]; // ... } ``` Here, `_sections`...