9 files changed, 9 insertions, 0 deletions
diff --git a/validation/linear/bitfield-size.c b/validation/linear/bitfield-size.c
index 841bdd0a..dcda930d 100644
--- a/validation/linear/bitfield-size.c
+++ b/validation/linear/bitfield-size.c
@@ -40,6 +40,7 @@ void scpy(struct s *d, const struct s *s)
 /*
  * check-name: bitfield-size
  * check-command: test-linearize -m64 -Wno-decl -fdump-ir  $file
+  * check-assert: sizeof(void *) == 8
  *
  * check-output-start
 upostinc:
diff --git a/validation/linear/bool-cast-lp64.c b/validation/linear/bool-cast-lp64.c
index 9b2a020a..caf0e678 100644
--- a/validation/linear/bool-cast-lp64.c
+++ b/validation/linear/bool-cast-lp64.c
@@ -12,6 +12,7 @@ static _Bool ffun_e(void)  { return (_Bool)ffun; }
 /*
  * check-name: bool-cast-pointer
  * check-command: test-linearize -m64 -fdump-ir $file
+ * check-assert: sizeof(void *) == 8
  *
  * check-output-ignore
  * check-output-excludes: ptrtu\\.
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\\.
diff --git a/validation/linear/call-complex-pointer.c b/validation/linear/call-complex-pointer.c
index dc0ab07b..2be35c5b 100644
--- a/validation/linear/call-complex-pointer.c
+++ b/validation/linear/call-complex-pointer.c
@@ -6,6 +6,7 @@ int foo(int p, int (*f0)(int), int (*f1)(int), int arg)
 /*
  * check-name: call-complex-pointer
  * check-command: test-linearize -m64 -Wno-decl $file
+ * check-assert: sizeof(void *) == 8
  *
  * check-output-start
 foo:
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:
diff --git a/validation/linear/degen-array.c b/validation/linear/degen-array.c
index b8a6f4f6..32230dde 100644
--- a/validation/linear/degen-array.c
+++ b/validation/linear/degen-array.c
@@ -7,6 +7,7 @@ int *fd(int i) { return  a; }
 /*
  * check-name: degen-array
  * check-command: test-linearize -m64 -Wno-decl $file
+ * check-assert: sizeof(void *) == 8
  *
  * check-output-start
 fa:
diff --git a/validation/linear/degen-function.c b/validation/linear/degen-function.c
index a7cff443..e0b05e5f 100644
--- a/validation/linear/degen-function.c
+++ b/validation/linear/degen-function.c
@@ -9,6 +9,7 @@ fun_t f1(void) { return *fun; }
 /*
  * check-name: degen-function
  * check-command: test-linearize -m64 -Wno-decl -fdump-ir=linearize $file
+ * check-assert: sizeof(void *) == 8
  *
  * check-output-start
 fa:
diff --git a/validation/linear/deref-ptr-ptr.c b/validation/linear/deref-ptr-ptr.c
index 531d3637..1342990c 100644
--- a/validation/linear/deref-ptr-ptr.c
+++ b/validation/linear/deref-ptr-ptr.c
@@ -6,6 +6,7 @@ char *foo(char **pfmt)
 /*
  * check-name: deref-ptr-ptr
  * check-command: test-linearize -m64 -Wno-decl $file
+ * check-assert: sizeof(void *) == 8
  *
  * check-output-excludes: load[^.]
  * check-output-contains: load\\.
diff --git a/validation/linear/logical.c b/validation/linear/logical.c
index b190f608..81a9ff42 100644
--- a/validation/linear/logical.c
+++ b/validation/linear/logical.c
@@ -19,6 +19,7 @@ int ad(int i, struct S *b) { return i && b->d; }
 /*
  * check-name: logical
  * check-command: test-linearize -m64 -fdump-ir -Wno-decl $file
+ * check-assert: sizeof(void *) == 8 && sizeof(long) == 8 && sizeof(double) == 8
  *
  * check-output-start
 os: