diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:56:12 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:56:12 +0200 |
commit | 30ac183455a0e15fb9889793a3bc774bc1b7b5c2 (patch) | |
tree | 607d26b45d8ee3789d02fd97e735ccd110a0761c /test/regression/casts2.c | |
parent | a6b15496744c19a54ab52c96d1dca441cd7ad1b8 (diff) | |
download | compcert-30ac183455a0e15fb9889793a3bc774bc1b7b5c2.tar.gz compcert-30ac183455a0e15fb9889793a3bc774bc1b7b5c2.zip |
Use [option] as much as possible and [ioption] only where necessary.
The existing [option(X)] was marked %inline, and has been renamed [ioption(X)].
A new [option(X)], which is not marked %inline, has been introduced.
The grammar now uses [option] everywhere, except where [ioption] is necessary
in order to avoid conflicts.
This reduces the number of states in the automaton. The number of LR(0) cores
drops from 857 to 712.
Diffstat (limited to 'test/regression/casts2.c')
0 files changed, 0 insertions, 0 deletions