--- layout: fc_discuss_archives title: Message 67 from Frama-C-discuss on October 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie - "No code for function <name>, default assigns generated"



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>