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 /Makefile.extr | |
| parent | 06841a5bb7ca27bc436e87e7991d0d05dbf5267c (diff) | |
| download | compcert-kvx-5aecefe808aaaad6ab05037e7d5e7f53b53e0b94.tar.gz compcert-kvx-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 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions