diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-09 10:17:43 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-09 10:17:43 +0100 |
commit | 5aecefe808aaaad6ab05037e7d5e7f53b53e0b94 (patch) | |
tree | 68ca0f66ccda018b2cd61262b3711ed030654a79 /backend/SelectDivproof.v | |
parent | 06841a5bb7ca27bc436e87e7991d0d05dbf5267c (diff) | |
download | compcert-5aecefe808aaaad6ab05037e7d5e7f53b53e0b94.tar.gz compcert-5aecefe808aaaad6ab05037e7d5e7f53b53e0b94.zip |
More prudent analysis of uninitialized const global variables.
In the presence of separate compilation and linking, an uninitialized
const global variable may be initialized elsewhere with a pointer value,
falsifying the points-to analysis. Report and fix by Chung-Kil Hur
and Jeehoon Kang.
Diffstat (limited to 'backend/SelectDivproof.v')
0 files changed, 0 insertions, 0 deletions