From c5ca995063b270c0e0b0f4df04c68ae431c869fd Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 1 Jan 2014 17:25:27 +0000 Subject: Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM) or an array type (PowerPC). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2395 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- powerpc/CBuiltins.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'powerpc/CBuiltins.ml') diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml index 8405c4f8..db01ae1c 100644 --- a/powerpc/CBuiltins.ml +++ b/powerpc/CBuiltins.ml @@ -89,3 +89,4 @@ let builtins = { } let size_va_list = 12 +let va_list_scalar = false -- cgit