Added an up-to-date version of CompCert's pre-parser.

f1cc2005 · POTTIER Francois · cb06b399 · f1cc2005 · f1cc2005 · f1cc2005
Commit f1cc2005 authored Oct 26, 2015 by POTTIER Francois
4 changed files
--- a/bench/good/compcert_pre_parser_new.exp
+++ b/bench/good/compcert_pre_parser_new.exp
+Warning: you are using the standard library and/or the %inline keyword. We
+recommend switching on --infer in order to avoid obscure type error messages.
+Built an LR(0) automaton with 677 states.
+Built an LR(1) automaton with 677 states.
+One shift/reduce conflict was silently solved.
+Extra reductions on error were added in 99 states.
--- a/bench/good/compcert_pre_parser_new.flags
+++ b/bench/good/compcert_pre_parser_new.flags
+--no-stdlib -la 1
--- a/bench/good/compcert_pre_parser_new.mly
+++ b/bench/good/compcert_pre_parser_new.mly
--- a/bench/good/compcert_pre_parser_new.opp.exp
+++ b/bench/good/compcert_pre_parser_new.opp.exp