[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <yw1xlgugldws.fsf@unicorn.mansr.com>
Date: Thu, 12 Jan 2017 11:24:03 +0000
From: Måns Rullgård <mans@...sr.com>
To: Marc Gonzalez <marc_gonzalez@...madesigns.com>
Cc: Guenter Roeck <linux@...ck-us.net>,
Wim Van Sebroeck <wim@...ana.be>,
<linux-watchdog@...r.kernel.org>, <linux-kernel@...r.kernel.org>,
<linux-arm-kernel@...ts.infradead.org>,
Thibaud Cornic <thibaud_cornic@...madesigns.com>,
Mark Rutland <mark.rutland@....com>,
Uwe Kleine-Konig <u.kleine-koenig@...gutronix.de>,
Arnd Bergmann <arnd@...db.de>
Subject: Re: [PATCH 56/62] watchdog: tangox_wdt: Convert to use device managed functions
Marc Gonzalez <marc_gonzalez@...madesigns.com> writes:
>> So far we have a claim that a cast to a void * may somehow be different
>> to a cast to a different pointer, if used as function argument, and that
>> the behavior with such a cast may be undefined. In other words, you claim
>> that a function implemented as, say,
>>
>> void func(int *var) {}
>>
>> might result in undefined behavior if some header file declares it as
>>
>> void func(void *);
>>
>> and it is called as
>>
>> int var;
>>
>> func(&var);
>>
>> That seems really far fetched to me.
>
> Thanks for giving me an opportunity to play the language lawyer :-)
>
> C99 6.3.2.3 sub-clause 8 states:
>
> "A pointer to a function of one type may be converted to a pointer to
> a function of another type and back again; the result shall compare
> equal to the original pointer. If a converted pointer is used to call
> a function whose type is not compatible with the pointed-to type, the
> behavior is undefined."
>
> So, the behavior is undefined, not when you cast clk_disable_unprepare,
> but when clk_disable_unprepare is later called through the devres->action
> function pointer.
Only if the function types are incompatible. C99 6.7.5.3 subclause 15:
For two function types to be compatible, both shall specify compatible
return types. Moreover, the parameter type lists, if both are
present, shall agree in the number of parameters and in use of the
ellipsis terminator; corresponding parameters shall have compatible
types.
The question then is whether pointer to void and pointer to struct clk
are compatible types. 6.7.5.1 subclause 2:
For two pointer types to be compatible, both shall be identically
qualified and both shall be pointers to compatible types.
6.2.5 subclause 27:
A pointer to void shall have the same representation and alignment
requirements as a pointer to a character type. 39)
39) The same representation and alignment requirements are meant to
imply interchangeability as arguments to functions, return values
from functions, and members of unions.
6.3.2.3 subclause 1:
A pointer to void may be converted to or from a pointer to any
incomplete or object type.
>From what I can tell, the standard stops just short of declaring pointer
to void compatible with other pointer types.
> However, I agree that it will work as expected on typical platforms
> (where all pointers are the same size, and the calling convention
> treats all pointers the same).
Yes, I don't see how it could possibly go wrong.
--
Måns Rullgård
Powered by blists - more mailing lists