On Fri, Aug 03, 2012 at 01:31:30PM +0200, Julia Lawall wrote:
> On Fri, 3 Aug 2012, Richard W.M. Jones wrote:
>
> >On Fri, Aug 03, 2012 at 09:59:21AM +0200, Julia Lawall wrote:
> >>Could you try with the following patch? Be sure that menhir runs.
> >>parsing_cocci/parser_cocci_menhir.ml should go down to 37212 lines.
> >
> >Original number of lines:
> >
> >49670 parsing_cocci/parser_cocci_menhir.ml
> >
> >After rerunning make, menhir 20120123:
> >
> >37080 parsing_cocci/parser_cocci_menhir.ml
> >
> >Unfortunately that doesn't seem to help:
> >
> >$ COCCINELLE_HOME=. ./spatch.opt -sp_file demos/simple.cocci demos/simple.c
> >init_defs_builtins: ./standard.h
> >Fatal error: out of memory.
>
> Could you try spatch.opt -parse_cocci demos/simple.cocci or
> spatch.opt -parse_c demos/simple.c?
$ COCCINELLE_HOME=. ./spatch.opt -parse_cocci demos/simple.cocci
init_defs_builtins: ./standard.h
Fatal error: out of memory.
$ COCCINELLE_HOME=. ./spatch.opt -parse_c demos/simple.c
init_defs_builtins: ./standard.h
Fatal error: out of memory.
I gather that you cannot reproduce this problem?
I don't know if I posted the stack trace before, but it is:
$ COCCINELLE_HOME=. gdb --args ./spatch.opt -parse_c demos/simple.c
[...]
(gdb) bt
#0 __GI_exit (status=2) at exit.c:99
#1 0x00000000008f094a in caml_fatal_error ()
#2 0x00000000008f33f4 in caml_alloc_shr ()
#3 0x00000000008f253f in caml_oldify_one ()
#4 0x00000000008ef657 in caml_oldify_local_roots ()
#5 0x00000000008f2755 in caml_empty_minor_heap ()
#6 0x00000000008f289d in caml_minor_collection ()
#7 0x00000000008f079a in caml_garbage_collection ()
#8 0x0000000000902208 in caml_system__code_begin ()
#9 0x00000000008478a5 in camlCommon__fun_8307 () at common.ml:5611
#10 0x000000000085ae4b in camlCommon__complete_parse_info_large_4176 ()
at common.ml:5622
#11 0x0000000000705f8b in camlParse_c__fun_2895 () at parse_c.ml:242
#12 0x00000000006d7212 in camlToken_helpers__visitor_info_of_tok_1232 ()
at token_helpers.ml:374
#13 0x0000000000706149 in camlParse_c__tokens_aux_1114 () at common.ml:93
#14 0x0000000000706bf4 in camlParse_c__fun_2857 () at parse_c.ml:254
#15 0x0000000000843da8 in camlCommon__fun_6899 () at common.ml:3494
#16 0x00000000008485d8 in camlCommon__unwind_protect_1071 () at common.ml:167
#17 0x0000000000706e46 in camlParse_c__fun_2957 () at parse_c.ml:383
#18 0x000000000084c201 in camlCommon__save_excursion_1678 () at common.ml:1275
#19 0x0000000000709f21 in camlParse_c__init_defs_builtins_1310 ()
at parse_c.ml:796
#20 0x00000000006169b1 in camlMain__main_1248 () at ./main.ml:1115
#21 0x0000000000616c71 in camlMain__main_with_better_error_report_1274 ()
at ./main.ml:1214
#22 0x0000000000616ca0 in camlMain__fun_2260 () at ./main.ml:1227
#23 0x000000000084ba69 in camlCommon__pp_do_in_zero_box_1578 ()
at common.ml:1118
#24 0x000000000084865c in camlCommon__finalize_1075 () at common.ml:173
#25 0x00000000008536b9 in camlCommon__exn_to_real_unixexit_2862 ()
at common.ml:3622
#26 0x000000000061b2e0 in camlMain__entry () at ./main.ml:1226
#27 0x00000000005f56a9 in caml_program ()
#28 0x00000000009023e6 in caml_start_program ()
#29 0x00000000008eef59 in caml_main ()
#30 0x00000000005f494c in main ()
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-p2v converts physical machines to virtual machines. Boot with a
live CD or over the network (PXE) and turn machines into Xen guests.
http://et.redhat.com/~rjones/virt-p2v
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
