diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-13 15:58:10 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-08-13 15:58:10 +0000 |
commit | 16ef95d7d7df64e28f6ba4ad24457b946563bc2e (patch) | |
tree | 2f204e78ef82df3269c0b2ba2b86d279946d9922 /backend/Inlining.v | |
parent | a558eac3b8c9929a4c29236baada4c4b4360b6ff (diff) | |
download | compcert-16ef95d7d7df64e28f6ba4ad24457b946563bc2e.tar.gz compcert-16ef95d7d7df64e28f6ba4ad24457b946563bc2e.zip |
Spurious error on a local static function declaration
("static int f(void);" inside a function).
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2563 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/Inlining.v')
0 files changed, 0 insertions, 0 deletions