Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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
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?



-----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,

Frama-c-discuss mailing list
Frama-c-discuss at

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/ms-tnef
Size: 4624 bytes
Desc: not available
URL: <>