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/regression/Results | |
| 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/regression/Results')
| -rw-r--r-- | test/regression/Results/alias | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/regression/Results/alias b/test/regression/Results/alias new file mode 100644 index 00000000..4f34918d --- /dev/null +++ b/test/regression/Results/alias @@ -0,0 +1,7 @@ +Test 1: 1 +Test 2: 1 +Test 3: 1 +Test 4: 1 +Test 5: 1 +Test 6: 1 +Test 7: 1 |