E-ACSL: vla handling

ID0002381: This issue was created automatically from Mantis Issue 2381. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0002381	Frama-C	Plug-in > E-ACSL	public	2018-07-01	2018-07-12

Reporter	evdenis	Assigned To	signoles	Resolution	no change required
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	-	Target Version	-	Fixed in Version	-

Description :

The code:

int main(void)
{
   int size = 10;
   int array[size];

   return 0;
}

a.out.frama.c:141: undefined reference to `__fc_vla_alloc'
a.out.frama.c:143: undefined reference to `__fc_vla_free'
collect2: error: ld returned 1 exit status
e-acsl-gcc: fatal error: fail to compile/link instrumented code