--- layout: fc_discuss_archives title: Message 67 from Frama-C-discuss on October 2010 ---
Here is a simplified example for Kerstin's question (see the attached files). When I call frama-c -jessie bar.c the I get (among others) the message [kernel] No code for function foo, default assigns generated Is this message to be interpreted as a warning? Can anything go wrong if ignore this message? Regards Jens -----Original Message----- Does the generated default assigns mean that everything may be modified? Is it bad practice and even dangerous to split assigns to the behaviors like in the example above? Thank you in advance, Kind Regards, Kerstin _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/ms-tnef Size: 4624 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20101027/ed206814/attachment.bin>