diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-17 19:08:51 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-17 19:08:51 +0200 |
commit | 66f3da28ee1e75732d07dd7ba851a0106513c9da (patch) | |
tree | ce59eccdf0052f1835f5f5c0539c7a6bc3bcaef1 /test | |
parent | fb9578680d1cd88650e7e6aa9bf1e1ffd8b32f49 (diff) | |
parent | b24913a4ad1014b7da42bdb1deb8f3cc05b0ed8d (diff) | |
download | compcert-66f3da28ee1e75732d07dd7ba851a0106513c9da.tar.gz compcert-66f3da28ee1e75732d07dd7ba851a0106513c9da.zip |
Merge branch 'master' into atomic-builtins
Diffstat (limited to 'test')
-rw-r--r-- | test/c/aes.c | 2 | ||||
-rw-r--r-- | test/regression/alias.c | 4 | ||||
-rw-r--r-- | test/regression/builtins-arm.c | 5 | ||||
-rw-r--r-- | test/regression/builtins-ia32.c | 5 | ||||
-rw-r--r-- | test/regression/builtins-powerpc.c | 5 |
5 files changed, 15 insertions, 6 deletions
diff --git a/test/c/aes.c b/test/c/aes.c index abdaf6c3..88b3de4a 100644 --- a/test/c/aes.c +++ b/test/c/aes.c @@ -1423,7 +1423,7 @@ static void do_test(int keybits, u8 * key, static void do_bench(int nblocks) { u32 ckey[4 * (MAXNR + 1)]; - u8 temp[16]; + u8 temp[16] = "Plaintext"; int nr; nr = rijndaelKeySetupEnc(ckey, (u8 *)"\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0A\x0B\x0C\x0D\x0E\x0F", 128); diff --git a/test/regression/alias.c b/test/regression/alias.c index a38e6dfd..9887ae2b 100644 --- a/test/regression/alias.c +++ b/test/regression/alias.c @@ -1,8 +1,8 @@ /* Testing the alias analysis on ill-defined codes where it should remain conservative. */ -typedef unsigned int uintptr_t; -typedef signed int ptrdiff_t; +#include <stddef.h> +#include <stdint.h> /* For testing with GCC */ #define NOINLINE __attribute__((noinline)) diff --git a/test/regression/builtins-arm.c b/test/regression/builtins-arm.c index 91a8e890..643c8f1a 100644 --- a/test/regression/builtins-arm.c +++ b/test/regression/builtins-arm.c @@ -23,7 +23,10 @@ int main(int argc, char ** argv) y = 0; __builtin_write32_reversed(&y, 0x12345678); printf ("CSE write_32_rev: %s\n", y == 0x78563412 ? "ok" : "ERROR"); - + /* Make sure that ignoring the result of a builtin + doesn't cause an internal error */ + (void) __builtin_bswap(x); + (void) __builtin_fsqrt(a); return 0; } diff --git a/test/regression/builtins-ia32.c b/test/regression/builtins-ia32.c index 10426209..558c3153 100644 --- a/test/regression/builtins-ia32.c +++ b/test/regression/builtins-ia32.c @@ -36,7 +36,10 @@ int main(int argc, char ** argv) y = 0; __builtin_write32_reversed(&y, 0x12345678); printf ("CSE write_32_rev: %s\n", y == 0x78563412 ? "ok" : "ERROR"); - + /* Make sure that ignoring the result of a builtin + doesn't cause an internal error */ + (void) __builtin_bswap(x); + (void) __builtin_fsqrt(a); return 0; } diff --git a/test/regression/builtins-powerpc.c b/test/regression/builtins-powerpc.c index acffa435..90030737 100644 --- a/test/regression/builtins-powerpc.c +++ b/test/regression/builtins-powerpc.c @@ -50,7 +50,10 @@ int main(int argc, char ** argv) y = 0; __builtin_write32_reversed(&y, 0x12345678); printf ("CSE write_32_rev: %s\n", y == 0x78563412 ? "ok" : "ERROR"); - + /* Make sure that ignoring the result of a builtin + doesn't cause an internal error */ + (void) __builtin_bswap(x); + (void) __builtin_fsqrt(a); return 0; } |