aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/bool-cast.c
diff options
Diffstat (limited to 'validation/linear/bool-cast.c')
-rw-r--r--validation/linear/bool-cast.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/validation/linear/bool-cast.c b/validation/linear/bool-cast.c
index 0438a94f..1716d18b 100644
--- a/validation/linear/bool-cast.c
+++ b/validation/linear/bool-cast.c
@@ -24,6 +24,7 @@ static _Bool fdbl_e(dbl a) { return (_Bool)a; }
/*
* check-name: bool-cast
* check-command: test-linearize -m64 -fdump-ir=linearize $file
+ * check-assert: sizeof(void*) == 8 && sizeof(long) == 8 && sizeof(double) == 8
*
* check-output-ignore
* check-output-excludes: cast\\.