2021-03-01 05:51 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001214Frama-CPlug-in > Evapublic2014-02-12 16:58
ReporterAnne 
Assigned Toyakobowski 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
Product Version 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0001214: FRAMA_C_MALLOC_INFINITE not used in stdlib.c
Description#define FRAMA_C_MALLOC_INFINITE
#include "stdlib.c"

doesn't do what is expected since stdlib.c begins with :

#ifndef FRAMA_C_MALLOC_HEAP
#ifndef FRAMA_C_MALLOC_CHUNKS
#ifndef FRAMA_C_MALLOC_INDIVIDUAL
#ifndef FRAMA_C_MALLOC_POSITION
#define FRAMA_C_MALLOC_HEAP

so it ends up with FRAMA_C_MALLOC_HEAP instead. Is this on purpose ?

PS. I select [Kernel] category because I don't know where else to put it...
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0003162

yakobowski (manager)

Those implementations are only useful to Value for the moment.

~0003172

yakobowski (manager)

This is a bug, the first line should be
#ifndef FRAMA_C_MALLOC_INFINITE

Notice that FRAMA_C_MALLOC_INFINITE will no longer allocate an infinite memories (only very big ones).

~0004654

yakobowski (manager)

Fix committed to stable/neon branch.
+Notes

-Issue History
Date Modified Username Field Change
2012-06-18 16:56 Anne New Issue
2012-06-18 17:06 yakobowski Note Added: 0003162
2012-06-18 17:06 yakobowski Category Kernel => Plug-in > value analysis
2012-06-19 14:45 yakobowski Note Added: 0003172
2012-06-19 14:45 yakobowski Assigned To => yakobowski
2012-06-19 14:45 yakobowski Status new => assigned
2012-06-19 14:45 svn
2012-06-19 14:45 svn Status assigned => resolved
2012-06-19 14:45 svn Resolution open => fixed
2012-09-19 17:15 signoles Fixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16 signoles Status resolved => closed
2013-12-19 01:11 yakobowski Source_changeset_attached => framac master 9272f3fb
2014-02-12 16:54 yakobowski Source_changeset_attached => framac stable/neon 9272f3fb
2014-02-12 16:58 yakobowski Note Added: 0004654
2014-02-12 16:58 yakobowski Status closed => resolved
2018-01-12 14:26 signoles Category Plug-in > value analysis => Plug-in > Eva
+Issue History