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/Makefile | |
| 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 'test/regression/Makefile')
| -rw-r--r-- | test/regression/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile index e2d94aa9..00c80047 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -24,7 +24,7 @@ TESTS=int32 int64 floats floats-basics \ TESTS_COMP=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \ bitfields5 bitfields6 bitfields7 bitfields8 \ builtins-$(ARCH) packedstruct1 packedstruct2 alignas \ - varargs1 varargs2 sections + varargs1 varargs2 sections alias # Can run, both in compiled mode and in interpreter mode, # but produce processor-dependent results, so no reference output in Results |