aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/cast-constants.c
diff options
Diffstat (limited to 'validation/linear/cast-constants.c')
-rw-r--r--validation/linear/cast-constants.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/validation/linear/cast-constants.c b/validation/linear/cast-constants.c
index c1fdab41..2aaee2b4 100644
--- a/validation/linear/cast-constants.c
+++ b/validation/linear/cast-constants.c
@@ -53,6 +53,7 @@ static double float_2_double(void) { return (double)1.123F; }
/*
* check-name: cast-constants.c
* check-command: test-linearize -m64 $file
+ * check-assert: sizeof(void *) == 8 && sizeof(long) == 8 && sizeof(double) == 8
*
* check-output-start
uint_2_int: