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 and malloc wrappers

  • Subject: [Frama-c-discuss] Jessie and malloc wrappers
  • From: pip88nl at gmail.com (Pippijn van Steenhoven)
  • Date: Tue, 24 Jan 2012 06:18:49 +0100
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>