From 9a0c662384b84587447c19d9f193065a40dee355 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Wed, 23 Aug 2023 19:35:17 +0000 Subject: [PATCH] Fix `va_list` types for `__CPROVER_OBJECT_SIZE` (ARM64 Linux) --- src/ansi-c/library/stdio.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ansi-c/library/stdio.c b/src/ansi-c/library/stdio.c index 903d7bcf950..629bb8f0e59 100644 --- a/src/ansi-c/library/stdio.c +++ b/src/ansi-c/library/stdio.c @@ -1047,7 +1047,7 @@ __CPROVER_HIDE:; (void)*format; while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(*(void **)&arg) < - __CPROVER_OBJECT_SIZE(arg)) + __CPROVER_OBJECT_SIZE(*(void **)&arg)) { void *a = va_arg(arg, void *); __CPROVER_havoc_object(a); @@ -1210,7 +1210,7 @@ __CPROVER_HIDE:; (void)*s; (void)*format; while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(*(void **)&arg) < - __CPROVER_OBJECT_SIZE(arg)) + __CPROVER_OBJECT_SIZE(*(void **)&arg)) { void *a = va_arg(arg, void *); __CPROVER_havoc_object(a);