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 /backend/Selectionproof.v | |
| parent | 5aecefe808aaaad6ab05037e7d5e7f53b53e0b94 (diff) | |
| download | compcert-kvx-28d7ff1fef9a47206114773d38e04361dc49820b.tar.gz compcert-kvx-28d7ff1fef9a47206114773d38e04361dc49820b.zip | |
Follow-up to [5aecefe]: be conservative also in the case of a "common" global const variable.
Diffstat (limited to 'backend/Selectionproof.v')
0 files changed, 0 insertions, 0 deletions