--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie and malloc wrappers



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>