--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on September 2015 ---
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