--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] parsing code with arrays



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