diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-20 08:20:05 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-20 08:20:05 +0200 |
| commit | f34d02dd23a2a30cb0a18cdfd576163179fdf0fd (patch) | |
| tree | f7434b188fa797c937ce9f6e0584bd761139f9ce /test/regression/Results | |
| parent | e759967b47c24e037e176a178b895cb198e57701 (diff) | |
| download | compcert-kvx-f34d02dd23a2a30cb0a18cdfd576163179fdf0fd.tar.gz compcert-kvx-f34d02dd23a2a30cb0a18cdfd576163179fdf0fd.zip | |
More tests for alias analysis.
Diffstat (limited to 'test/regression/Results')
| -rw-r--r-- | test/regression/Results/alias | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regression/Results/alias b/test/regression/Results/alias index 4f34918d..677bed3c 100644 --- a/test/regression/Results/alias +++ b/test/regression/Results/alias @@ -5,3 +5,4 @@ Test 4: 1 Test 5: 1 Test 6: 1 Test 7: 1 +Test 8: 0 |