--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on July 2019 ---
Hello again, Â Another possibly dumb question: in my code, I have a few calls to memcpy() to achieve the effect of whole-array assignment - essentially copying the entire content of one array onto another. For each of those calls, I am getting a 2 warnings from WP (version 19) like this: Â Cast with incompatible pointers types (source: uint8*) (target: sint8*) I get one of those for both the "src" and "dest" parameters of memcpy(). I don't understand this for several reasons. 1. My actual parameters are both type "uint8_t *" 2. The formal parameters given in the declaration of memcpy() in libc/string.h are "void *restrict dest", and "const void *restrict src". So.. where are these references to "uint8*" and "sint8*" coming from? There are no such types in my program. How do I get rid of these warnings? All the best, Â Rod -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190718/7db902ba/attachment.html>