--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on January 2012 ---
Hello, Jessie does not support arbitrary casts between pointer types, but special-cases "malloc", so this code works: void *malloc (unsigned); struct interval { int lb, ub; }; int main () { struct interval *i = malloc (sizeof *i); return 0; } In my project, I'm using a wrapper for malloc that stores the allocation size before the returned pointer. Is there a way to tell Jessie that the pointer returned by this function is of the same type as the variable it is assigned to? Best regards, Pippijn van Steenhoven -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 198 bytes Desc: Digital signature URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120124/00d768de/attachment.pgp>