search

correctcomputation / checkedc-clang

This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
14 stars 5 forks source link

Conflict assigning checked array to void * parameter #735

Open kyleheadley opened 2 years ago

kyleheadley commented 2 years ago

In libarchive:

../libarchive/archive_blake2sp_ref.c:204:29: error: passing 'uint8_t _Checked[32]' to parameter of incompatible type 'void *'
    blake2s_final( S->S[i], hash[i], BLAKE2S_OUTBYTES );
                            ^~~~~~~

I think this should be allowed, so the error is unlikely to deal the types of the variables in question