diff options
Diffstat (limited to 'validation/linear/bool-cast-lp64.c')
| -rw-r--r-- | validation/linear/bool-cast-lp64.c | 1 |
1 files changed, 1 insertions, 0 deletions
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\\. |