Richard Guenther wrote:
This has been reported before and the kernel was fixed. typeof now
always "returns" the effective type, including CV qualifiers in effect.
Huh? Why would the effective type of
__typeof__ (*(&uss->p)) x;
be different from
__typeof__ ((uss->p)) x;
?
Moreover, if we include all the CV qualifiers, this example from
extend.texi
won't work when x ist const:
@smallexample
#define foo(x) \
(@{ \
typeof (x) tmp; \
if (__builtin_types_compatible_p (typeof (x), long double)) \
tmp = foo_long_double (tmp); \
else if (__builtin_types_compatible_p (typeof (x), double)) \
tmp = foo_double (tmp); \
else if (__builtin_types_compatible_p (typeof (x), float)) \
tmp = foo_float (tmp); \
else \
abort (); \
tmp; \
@})
@end smallexample
