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 /backend/ValueDomain.v | |
| parent | 78f1b6a57c95ecc68c104d4764fc8d5851d7dd54 (diff) | |
| download | compcert-kvx-26f63d2d82d22f568ba44d12d396acca8aa11613.tar.gz compcert-kvx-26f63d2d82d22f568ba44d12d396acca8aa11613.zip | |
Test to check that alias analysis is prudently conservative on ill-defined pointer manipulations.
Diffstat (limited to 'backend/ValueDomain.v')
0 files changed, 0 insertions, 0 deletions