Question: is it possible to force cover the whole malloc() byte range and error on any mismatch?

[ghost]

(I use my checkedc_cc.h header for compatibility with other C compilers)

Hi!

Can I force an error for this case?

#include "/opt/github/procedural/checkedc_cc/checkedc_cc.h"
#include <stdlib_checked.h>

cc_checked int main(int argc, cc_nt_array_ptr(char) argv cc_checked[] cc_opt(:) cc_count cc_arg(argc)) {
  cc_array_ptr(int) arr cc_opt(:) cc_count cc_arg(5) = malloc cc_opt(<int>) (sizeof(double) * 5);
  return 0;
}

Currently, it compiles fine, but notice sizeof(double), I want this to be an error to force it to sizeof(int), is this possible? 🙂

Thanks!

[ghost]

Also, if you change

cc_array_ptr(int) arr cc_opt(:) cc_count cc_arg(5) = 

to

cc_array_ptr(int) arr cc_opt(:) cc_count cc_arg(4) = 

the compiler won't complain too, even though the range got smaller. I need this to be an error! 🙂