diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-16 08:56:15 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-16 08:56:15 +0000 |
| commit | 3f1fb601a23c63eb5c619330c632b6f2dba36ad7 (patch) | |
| tree | 54de1e2c984de54ce27d5ad66ea7e8bc9e1fb0a9 /common/AST.v | |
| parent | 9d125a3c856d891b234cec1a24264ba72659c18f (diff) | |
| download | compcert-3f1fb601a23c63eb5c619330c632b6f2dba36ad7.tar.gz compcert-3f1fb601a23c63eb5c619330c632b6f2dba36ad7.zip | |
Const.prop dans la taille des tableaux. Tolerer (avec warning) les declarations extern ty var[].
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@100 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'common/AST.v')
0 files changed, 0 insertions, 0 deletions