--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on June 2010 ---
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