--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on July 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Warnings for call to memcpy()... why?



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>