diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-14 10:49:12 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-14 10:49:12 +0200 |
| commit | e7a6aff95cc37806aeb4637c40ff46a8c41a2b49 (patch) | |
| tree | da7a2b7c6eb8de35e095f9d9594ef633bc64dfda /test/regression/alias.c | |
| parent | 9c104c8d0a7e04ed2339ccd0c18600e479351a00 (diff) | |
| download | compcert-e7a6aff95cc37806aeb4637c40ff46a8c41a2b49.tar.gz compcert-e7a6aff95cc37806aeb4637c40ff46a8c41a2b49.zip | |
Fix uninitialized array in do_bench (report by V. Laporte).
Diffstat (limited to 'test/regression/alias.c')
0 files changed, 0 insertions, 0 deletions