core: define syscall_t as void (*)(void) sandbox/mkashkarov/tizen_6.0_build
authorJerome Forissier <jerome.forissier@linaro.org>
Thu, 5 Jul 2018 11:07:52 +0000 (13:07 +0200)
committerMikhail Kashkarov <m.kashkarov@partner.samsung.com>
Thu, 19 Dec 2019 11:59:32 +0000 (14:59 +0300)
syscall_t is currently typedef'ed as TEE_Result (*)(void). It is used to
represent a pointer to any system call, in the syscall table for instance.
As such, the exact type behind syscall_t cannot reflect all the syscalls
since they have different prototypes. The current declaration with a
TEE_Result return type was probably chosen because it was a common
characteristic of all syscalls to return a TEE_Result.

However, this type causes compilation warnings with GCC 8.1:

core/arch/arm/tee/arch_svc.c:43:36: warning: cast between incompatible function types from ‘void (*)(long unsigned int)’ to ‘TEE_Result (*)(void)’ {aka ‘unsigned int (*)(void)’} [-Wcast-function-type]
 #define SYSCALL_ENTRY(_fn) { .fn = (syscall_t)_fn }
                                    ^
core/arch/arm/tee/arch_svc.c:50:2: note: in expansion of macro ‘SYSCALL_ENTRY’
  SYSCALL_ENTRY(syscall_sys_return),
  ^~~~~~~~~~~~~

The solution is to use 'void (*)(void)' instead, as explained in the GCC
documentation:

 -Wcast-function-type

  Warn when a function pointer is cast to an incompatible function
  pointer. [...] The function type void (*) (void) is special and matches
  everything, which can be used to suppress this warning. [...]

Link: [1] https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html
Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
(cherry picked from commit f6d17e33e7b95c90a2521cfd37cd5cb511909fc4)

core/arch/arm/tee/arch_svc.c
core/arch/arm/tee/arch_svc_private.h

index f6767d711832c71dfe972f37ab35818f23d4b0dc..c4a221392b1656f0e975cdd26a5b70f628a56fb6 100644 (file)
@@ -215,7 +215,7 @@ void tee_svc_handler(struct thread_svc_regs *regs)
        }
 
        if (scn > TEE_SCN_MAX)
-               scf = syscall_not_supported;
+               scf = (syscall_t)syscall_not_supported;
        else
                scf = tee_svc_syscall_table[scn].fn;
 
index 7b2ea948b76ae0bff5cbf7625fbdfca1a35534db..f2d0de15bf8f62a622be08a49e151ed76c945e7a 100644 (file)
 
 #include <tee_api_types.h>
 
-/* void argument but in reality it can be any number of arguments */
-typedef TEE_Result (*syscall_t)(void);
+/*
+ * Generic "pointer to function" type. Actual syscalls take zero or more
+ * arguments and return TEE_Result.
+ */
+typedef void (*syscall_t)(void);
 
 /* Helper function for tee_svc_handler() */
 uint32_t tee_svc_do_call(struct thread_svc_regs *regs, syscall_t func);