Frama-C Bug Tracking System - Frama-C
View Issue Details
0000416Frama-CPlug-in > jessiepublic2010-02-22 19:442010-02-22 19:44
Jochen 
cmarche 
normalminoralways
assignedopen 
Frama-C Beryllium-20090902 
 
0000416: local array decl with non-constant size causes Why error
After declaring in a procedure a local array of a size depending on some parameter, when I assert the range-validity, I get (a Kernel warning "No code for function __builtin_alloca" and) a Why error message "Unbound variable bitvector_alloc_table". This doesnt happen for a constant size (see attached file).
No tags attached.
c localFlexArray01.c (221) 2010-02-22 19:44
https://bts.frama-c.com/file_download.php?file_id=60&type=bug
Issue History
2010-02-22 19:44JochenNew Issue
2010-02-22 19:44JochenStatusnew => assigned
2010-02-22 19:44JochenAssigned To => cmarche
2010-02-22 19:44JochenFile Added: localFlexArray01.c

There are no notes attached to this issue.