--- layout: fc_discuss_archives title: Message 69 from Frama-C-discuss on February 2012 ---
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>