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

[Frama-c-discuss] Jessie and malloc wrappers



On Tue, Jan 24, 2012 at 06:18:49AM +0100, Pippijn van Steenhoven wrote:
> 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?

Is there no way to do this? Should I just have an opaque 'T *T_alloc()'
for every type T that I want to allocate?

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/20120215/fe425d1e/attachment.pgp>