aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
diff options
Diffstat (limited to 'validation/optim')
-rw-r--r--validation/optim/cast-kinds.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/validation/optim/cast-kinds.c b/validation/optim/cast-kinds.c
index b144dc7e..0ba8a156 100644
--- a/validation/optim/cast-kinds.c
+++ b/validation/optim/cast-kinds.c
@@ -56,6 +56,7 @@ static double double_2_double(double a) { return a; }
/*
* check-name: cast-kinds
* check-command: test-linearize -Wno-int-to-pointer-cast -Wno-pointer-to-int-cast -m64 $file
+ * check-assert: sizeof(void *) == 8 && sizeof(long) == 8 && sizeof(double) == 8
*
* check-output-start
uint_2_int: