diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-20 14:07:23 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-20 14:07:23 +0100 |
commit | 28d7ff1fef9a47206114773d38e04361dc49820b (patch) | |
tree | e75cd74a46d29ab5881be78c86d8bdea9f5a46bd /cfrontend/C2C.ml | |
parent | 5aecefe808aaaad6ab05037e7d5e7f53b53e0b94 (diff) | |
download | compcert-28d7ff1fef9a47206114773d38e04361dc49820b.tar.gz compcert-28d7ff1fef9a47206114773d38e04361dc49820b.zip |
Follow-up to [5aecefe]: be conservative also in the case of a "common" global const variable.
Diffstat (limited to 'cfrontend/C2C.ml')
0 files changed, 0 insertions, 0 deletions