diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-17 08:59:43 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-17 08:59:43 +0000 |
commit | e37d620f5b9b05e16563545cba9c538f8d31c746 (patch) | |
tree | e6c42ddf96a8119287f642f9b5c249571783508d /cfrontend/Cshmgen.v | |
parent | ca0e5f4fe9b4063991fa5e9eafe6a48f933b7c45 (diff) | |
download | compcert-e37d620f5b9b05e16563545cba9c538f8d31c746.tar.gz compcert-e37d620f5b9b05e16563545cba9c538f8d31c746.zip |
Bug dans le traitement des fonctions variadiques.
Tolerer les chaines litterales dans les initialiseurs.
Forcer evaluation gauche-droite pour avoir les erreurs et warnings
dans l'ordre du source.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@103 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend/Cshmgen.v')
0 files changed, 0 insertions, 0 deletions