Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] parsing code with arrays

  • Subject: [Frama-c-discuss] parsing code with arrays
  • From: youssef.hassoun at kcl.ac.uk (youssef hassoun)
  • Date: Mon, 14 Jun 2010 10:53:53 +0100
Hi,

In trying to parse a program involving array variables with:
   let f = fst (Frontc.parse <code file with array variables>) in
    .....

I get the following error message:

Fatal error: exception Qstack.Make(D).Empty
Raised at file "src/lib/qstack.ml", line 57, characters 22-27
Called from file "src/project/project.ml", line 1069, characters 30-42
Called from file "cil/src/cil.ml", line 2581, characters 9-36
Called from file "cil/src/frontc/cabs2cil.ml", line 3438, characters 23-36
Called from file "cil/src/frontc/cabs2cil.ml", line 3371, characters 28-49
Called from file "cil/src/frontc/cabs2cil.ml", line 6309, characters 12-73
Called from file "list.ml", line 74, characters 24-34
Called from file "cil/src/frontc/cabs2cil.ml", line 6327, characters 16-55
Called from file "cil/src/frontc/cabs2cil.ml", line 7554, characters 12-31
Called from file "list.ml", line 69, characters 12-15
Called from file "cil/src/frontc/cabs2cil.ml", line 7591, characters 2-26
Called from file "cil/src/frontc/frontc.ml", line 43, characters 19-22

//

No such error occur when parsing code with NO arrays. It seems as if 
some initialisations are necessary before the Frama-c Cil-parser is in
a position to parse code with arrays. It this true?


Best,

Youssef