--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on September 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] memset and non-chars



Le 2015-09-06 14:18, David MENTRÉ a écrit :
> Possible explanation: memset() expects char and giving to it violate
> this assumption.

... and giving to it integer violates this assumption.


> You have some warnings. I cannot say if they are harmful or not.
>
> kurt-memset.c:9:[wp] warning: Cast with incompatible pointers types
> (source: b*) (target: sint8*)
> kurt-memset.c:7:[wp] warning: Cast with incompatible pointers types
> (source: sint32*) (target: sint8*)

Apparently, it could be harmful:
 
https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2014-June/004465.html

My suggestion might not be that good. :-)

Best regards,
david