--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on October 2009 ---
Hi, I cannot explain why the code immediately following the assert is seen as dead code. Status of the assert is "unknown" for the value analysis. thx in advance, St?phane char tab[10]; int f1(char* buf, int v) { int i; //@ assert buf==tab; i++; memcpy(buf, &v, sizeof(int)); i++; return *((int*)buf); } -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091013/30190156/attachment.htm