diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-19 17:08:17 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-19 17:35:54 +0200 |
commit | 26f63d2d82d22f568ba44d12d396acca8aa11613 (patch) | |
tree | d3f73d604b03958434c8527ee059ac728e5c164b /test/compression/lzvars.c | |
parent | 78f1b6a57c95ecc68c104d4764fc8d5851d7dd54 (diff) | |
download | compcert-26f63d2d82d22f568ba44d12d396acca8aa11613.tar.gz compcert-26f63d2d82d22f568ba44d12d396acca8aa11613.zip |
Test to check that alias analysis is prudently conservative on ill-defined pointer manipulations.
Diffstat (limited to 'test/compression/lzvars.c')
0 files changed, 0 insertions, 0 deletions